protege4owl官方入门教程

《protege4owl官方入门教程》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、APracticalGuideToBuildingOWLOntologiesUsingProtege4andCO-ODEToolsEdition1.3MatthewHorridgeContributorsv1.0HolgerKnublauch,AlanRector,RobertStevens,ChrisWroev1.1SimonJupp,GeorginaMoulton,RobertStevensv1.2NickDrummond,SimonJupp,GeorginaMoulton,RobertStevensv1.3SebastianBrandtTheUni

2、versityOfManchesterCopyrightcTheUniversityOfManchesterMarch24,2011Contents1Introduction71.1Conventions............................................72Requirements93WhatareOWLOntologies?103.1ComponentsofOWLOntologies................................103.1.1Individuals...................

3、.....................103.1.2Properties.........................................113.1.3Classes..........................................124BuildingAnOWLOntology134.1NamedClasses..........................................154.2DisjointClasses..........................................17

4、4.3UsingCreateClassHierarchyToCreateClasses........................194.4OWLProperties.........................................234.5InverseProperties........................................274.6OWLObjectPropertyCharacteristics.............................294.6.1FunctionalProperties.

5、.................................294.6.2InverseFunctionalProperties..............................294.6.3TransitiveProperties...................................294.6.4SymmetricProperties..................................3014.6.5Asymmetricproperties..................................3

6、24.6.6Re exiveproperties...................................324.6.7Irre exiveproperties...................................334.7PropertyDomainsandRanges.................................334.8DescribingAndDeningClasses................................364.8.1PropertyRestrictions........

7、..........................374.8.2ExistentialRestrictions.................................404.9UsingAReasoner.........................................484.9.1InvokingTheReasoner..................................484.9.2InconsistentClasses...................................494.10Necess

8、aryAndSucientConditions(P