OWL DL

GPTKB entity

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