OWL 2 DL
E657899
OWL 2 DL is a highly expressive yet decidable description logic–based profile of the OWL 2 Web Ontology Language, designed to balance rich modeling capabilities with computational completeness and decidability.
Statements (55)
| Predicate | Object |
|---|---|
| instanceOf |
Description logic
ⓘ
Ontology language profile ⓘ Profile of OWL 2 ⓘ |
| basedOn | Description logic NERFINISHED ⓘ |
| conformsTo | Model-theoretic semantics of OWL 2 NERFINISHED ⓘ |
| designedFor |
Knowledge representation
ⓘ
Semantic Web ontologies ⓘ |
| hasAlternativeProfile |
OWL 2 EL
NERFINISHED
ⓘ
OWL 2 QL NERFINISHED ⓘ OWL 2 RL NERFINISHED ⓘ |
| hasComplexity | N2EXPTIME-complete for standard reasoning tasks ⓘ |
| hasConstraint |
Forbids arbitrary metamodeling
ⓘ
Forbids punning between classes and individuals ⓘ Requires regularity of role hierarchies ⓘ Requires separation of object and data domains ⓘ Requires separation of object, data, and annotation properties ⓘ Restricts role composition to regular role hierarchies ⓘ Restricts use of transitive properties in cardinality constraints ⓘ |
| hasProperty |
Computationally complete
ⓘ
Decidable ⓘ Highly expressive ⓘ Supports automated reasoning ⓘ Supports rich modeling ⓘ |
| hasSemantics |
Direct semantics of OWL 2
NERFINISHED
ⓘ
RDF-based semantics of OWL 2 ⓘ |
| hasTypicalReasoningTask |
Class satisfiability checking
ⓘ
Classification ⓘ Instance checking ⓘ Ontology consistency checking ⓘ Realization ⓘ Subsumption checking ⓘ |
| hasUseCase |
Biomedical ontologies
NERFINISHED
ⓘ
Configuration and product modeling ⓘ Enterprise knowledge graphs ⓘ Semantic data integration ⓘ |
| isProfileOf | OWL 2 NERFINISHED ⓘ |
| isStandardizedBy | W3C NERFINISHED ⓘ |
| partOf | OWL 2 Web Ontology Language NERFINISHED ⓘ |
| specifiedIn |
OWL 2 Web Ontology Language Direct Semantics
NERFINISHED
ⓘ
OWL 2 Web Ontology Language Document Overview NERFINISHED ⓘ OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax NERFINISHED ⓘ |
| supportsFeature |
Annotations
ⓘ
Cardinality restrictions ⓘ Class axioms ⓘ Data property axioms ⓘ Datatype support ⓘ Disjointness axioms ⓘ Individual assertions ⓘ Keys ⓘ Nominals (enumerated classes) ⓘ Object property axioms ⓘ Property chains ⓘ Property characteristics such as functionality ⓘ Property characteristics such as symmetry ⓘ Property characteristics such as transitivity ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.