Statements (13)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:owl
|
gptkbp:application |
gptkb:Semantic_Web
|
gptkbp:developed_by |
gptkb:University_of_Oxford
|
gptkbp:first_released |
gptkb:2010
|
https://www.w3.org/2000/01/rdf-schema#label |
Hermi T
|
gptkbp:language |
gptkb:Java
|
gptkbp:latest_version |
1.4.3
|
gptkbp:license |
gptkb:GNU_General_Public_License
|
gptkbp:supports |
gptkb:OWL_2
|
gptkbp:type |
Description Logic Reasoner
|
gptkbp:uses |
Tableau Algorithm
|
gptkbp:bfsParent |
gptkb:Protégé_3.5.0
|
gptkbp:bfsLayer |
6
|