OWL 2 DL

GPTKB entity

Statements (52)
Predicate Object
gptkbp:instanceOf Web Ontology Language profile
gptkbp:designedFor description logics
gptkbp:documentation https://www.w3.org/TR/owl2-overview/
https://www.w3.org/TR/owl2-new-features/
https://www.w3.org/TR/owl2-syntax/
gptkbp:hasApplication linked data
enterprise knowledge graphs
bioinformatics ontologies
medical ontologies
reasoning engines
gptkbp:hasCorrespondingLogic gptkb:SROIQ(D)
gptkbp:hasFeature decidability
OWL 2 constructs
computational completeness
expressive description logic
gptkbp:hasReasoner gptkb:ELK
gptkb:FaCT++
gptkb:HermiT
gptkb:Pellet
gptkb:RacerPro
gptkb:JFact
gptkb:Konclude
gptkb:OWLAPI
gptkbp:hasSubgroup gptkb:OWL_2_Full
gptkbp:hasSyntax gptkb:Functional_Syntax
gptkb:Manchester_Syntax
turtle
RDF/XML
https://www.w3.org/2000/01/rdf-schema#label OWL 2 DL
gptkbp:license gptkb:W3C_Document_License
gptkbp:limitation no arbitrary RDF graphs
no metamodeling
no punning for individuals and classes
gptkbp:partOf gptkb:OWL_2
gptkbp:profile gptkb:OWL_2_DL
gptkb:OWL_2_EL
gptkb:OWL_2_Full
gptkb:OWL_2_QL
gptkb:OWL_2_RL
gptkbp:prohibits syntactic restrictions for decidability
gptkbp:purpose balance expressivity and computational properties
gptkbp:releaseDate 2009
gptkbp:standardizedBy gptkb:W3C
gptkb:OWL_2_Web_Ontology_Language_Document_Overview_(Second_Edition)
gptkbp:supports decidable reasoning
gptkbp:usedIn gptkb:knowledge_representation
semantic web
ontology engineering
gptkbp:bfsParent gptkb:OWL_2
gptkb:OWL_Web_Ontology_Language
gptkb:Web_Ontology_Language
gptkbp:bfsLayer 6