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
|