Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Web Ontology Language profile
|
| gptkbp:compatibleWith |
disjunction
negation cardinality restrictions universal quantification |
| gptkbp:complexity |
polynomial time
|
| gptkbp:designedFor |
large ontologies
|
| gptkbp:hasFeature |
scalability
efficient classification tractable reasoning |
| https://www.w3.org/2000/01/rdf-schema#label |
OWL 2 EL
|
| gptkbp:partOf |
gptkb:OWL_2
|
| gptkbp:publicationYear |
2009
|
| gptkbp:standardizedBy |
gptkb:W3C
|
| gptkbp:supports |
conjunction
existential quantification role inclusion subclass axioms |
| gptkbp:usedIn |
gptkb:Gene_Ontology
gptkb:SNOMED_CT |
| gptkbp:bfsParent |
gptkb:OWL_2
gptkb:OWL_Web_Ontology_Language gptkb:Web_Ontology_Language |
| gptkbp:bfsLayer |
6
|