Last verification: | 20180914 |
---|---|
Tools required for this lab: | Protégé Desktop 5.0 |
Pellet 2.3.1 (pellet-2.3.1.zip) |
Class: bus_driver EquivalentTo: person that drives some bus Class: driver EquivalentTo: person that drives some vehicle Class: bus SubClassOf: vehicle
Hints:
Reasoner → start reasoner
) and observe the inferred class hierarchy. What conclusions have been drawn? Individual: Daily_Mirror Types: owl:Thing Individual: Q123ABC Types: van, white_thing Individual: Mick Types: man Facts: reads Daily_Mirror, drives Q123ABC Class: white_van_man EquivalentTo: man that drives some (van and white_thing) SubClassOf: reads only tabloid
For those not familiar with UK culture, White Van Man is a stereotype used to describe a particular kind of driver. Wikipedia provides an entry with some additional information and references.
Hints:
Reasoner → start reasoner
) and observe the inferred class hierarchy. Where is the white_van_man
? What conclusions have been drawn? DL reasoners may be integrated with other tools - as in the case of Protege presented before - as well as run independently via various interfaces. Popular DL reasoners include: FaCT++, Pellet, HermiT, RacerPro and many others.
We will use the Pellet reasoner.
pellet.sh help
to get familiar with available commands.pellet.sh consistency <ontology>
where the <ontology>
is:people+pets.owl
ontology provided with Pellet in examples/data/
directory pellet.sh classify <ontology>
with the two above mentioned ontologies and observe the results.These instructions are based on the The Family History Knowledge Base Tutorial1) by The University of Manchester, School of Computer Science.
protege
in command line on lab316 laptop).Family-tree-0.owl
)Sex
, Female
, Male
, Person
, Man
and Woman
Classes.hasSex
property, Set domain and ranges on hasSex
(Person/Sex), make it functional.Person
hasSex some Sex
.Active Ontology
tab → Imported ontologies
→ Direct imports
).Reasoner
menu in Protege (Reasoner → Start/Synchronize reasoner
), classify the ontology. What inferences are made? Write them in the report Family-tree-1.owl
. Check how Man
and Woman
classes are defined.individuals-1-parantage.owl
file.Family-tree-2.owl
. Victorian
class: Person and birthYear some integer[>=1837, ⇐1901]
Family-tree-3.owl
. hasParent
called hasAncestor
,Family-tree-4.owl
. hasGrandMother/Father
+ domains and ranges