OWL reasoning

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf Reasoning method
gptkbp:appliesTo gptkb:Web_Ontology_Language_(OWL)
gptkbp:basedOn gptkb:Description_Logic
gptkbp:enables Inference of implicit knowledge
https://www.w3.org/2000/01/rdf-schema#label OWL reasoning
gptkbp:implementedIn gptkb:FaCT++
gptkb:HermiT
gptkb:Pellet
gptkb:RacerPro
gptkbp:relatedTo gptkb:SPARQL
RDF reasoning
gptkbp:standardizedBy gptkb:W3C
gptkbp:supports Class subsumption
Instance classification
Ontology consistency checking
Property characteristic inference
gptkbp:usedFor gptkb:Ontology-based_data_access
Data integration
Knowledge base completion
Semantic search
gptkbp:usedIn gptkb:Semantic_Web
gptkbp:bfsParent gptkb:AllegroGraph
gptkbp:bfsLayer 5