Statements (51)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Web Ontology Language profile
|
gptkbp:basedOn |
gptkb:Description_Logic
|
gptkbp:compatibleWith |
Description Logic reasoners
OWL Full reasoners |
gptkbp:definedIn |
gptkb:W3C
|
gptkbp:designedFor |
maximum expressiveness while retaining computational completeness and decidability
|
gptkbp:hasExpressivity |
SHOIN(D)
|
gptkbp:hasFeature |
Individuals
Data types Properties Class expressions Named classes Ontology imports Property restrictions |
gptkbp:hasReasonerSupport |
gptkb:FaCT++
gptkb:HermiT gptkb:Pellet gptkb:RacerPro gptkb:Protege |
gptkbp:hasSemanticBasis |
gptkb:Description_Logic
|
gptkbp:hasSubLanguage |
gptkb:OWL_Lite
|
gptkbp:hasSuperLanguage |
OWL Full
|
gptkbp:hasSyntax |
gptkb:Functional_Syntax
gptkb:Manchester_Syntax gptkb:OWL/XML RDF/XML |
https://www.w3.org/2000/01/rdf-schema#label |
OWL DL
|
gptkbp:introducedIn |
2004
|
gptkbp:limitation |
Classes and properties must be separated
No annotation property axioms No arbitrary class expressions as property values No class as individual No class as instance of another class No class as property No individual as class or property No metaclasses No property as class No property as individual No property as instance of another property No property chains No punning |
gptkbp:partOf |
gptkb:OWL
|
gptkbp:standardizedBy |
gptkb:W3C
|
gptkbp:standsFor |
Web Ontology Language Description Logic
|
gptkbp:supports |
gptkb:OWL_Lite
OWL Full |
gptkbp:usedFor |
Knowledge representation
Ontology modeling |
gptkbp:usedIn |
gptkb:Semantic_Web
|
gptkbp:bfsParent |
gptkb:Description_Logics
|
gptkbp:bfsLayer |
5
|