Pellet reasoner using SWRL - CWI

More documents

Recommendations

Info

Pellet Overview Pellet is an open-source Java based OWL DL reasoner and it can beused with Jena and OWL API libraries. Features:◦ Consistency checking: ensures that an ontology does not contain anycontradictory facts.◦ Concept satisfiability: checks if it is possible for a class to have anyinstances.◦ Classification: computes the subclass relations between every named classto create the complete class hierarchy.◦ Realization: computes the direct types for each of the individuals.
Architecture of Pellet Terms:◦ Assertional Box (Abox) contains assertions about individuals, i.e. OWL facts such as type, propertyvalue...◦ Terminological Box (Tbox) contains axioms about classes, i.e. OWL axioms such as subclass, equivalentclass...◦ Knowledge Base (KB) A combination of an ABox and a TBox, i.e. a complete OWL ontology.
Page 1: Pellet reasoner using SWRLB YS U S
Page 5 and 6: Architecture of Pellet Operation:
Page 7 and 8: Pizza Example Reasoning -> Check Co
Page 9 and 10: Ice CreamPizza Example

Pellet reasoner using SWRL - CWI

Create successful ePaper yourself

Delete template?

Save as template?