OWL Full
E30248
OWL Full is the most expressive and semantically unrestricted variant of the Web Ontology Language, allowing full RDF compatibility at the cost of computational decidability.
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
Web Ontology Language profile
→
knowledge representation language → ontology language → |
| allows |
punning of entities across different syntactic categories
→
using OWL vocabulary in arbitrary RDF positions → |
| compatibleWith |
RDF
→
RDF Schema → |
| contrastsWith |
OWL 2 EL
→
OWL 2 QL → OWL 2 RL → OWL DL → OWL Lite → |
| definedIn |
OWL 1
→
OWL 2 → |
| discouragedFor |
applications needing guaranteed reasoning performance
→
|
| hasAbbreviation |
OWL-Full
→
|
| hasConsequence |
no complete reasoning procedure exists
→
|
| hasDesignGoal |
full RDF compatibility
→
maximum expressivity → |
| hasProperty |
allows meta‑modeling
→
classes can be treated as individuals → fully compatible with RDF → most expressive OWL variant → no computational completeness guarantees → no computational decidability guarantees → no separation between classes, properties, and individuals → properties can be treated as individuals → semantically unrestricted → supports arbitrary RDF graphs → undecidable reasoning → |
| hasReasoningComplexity |
undecidable in general
→
|
| hasSemanticBasis |
RDF model theory
→
|
| hasSemanticRestriction |
none beyond RDF semantics
→
|
| hasTradeoff |
expressivity versus decidability
→
|
| lessRestrictiveThan |
OWL DL
→
OWL Lite → |
| partOf |
Web Ontology Language
→
|
| relatedStandard |
OWL 2
→
OWL DL → RDF → RDFS → |
| standardizedBy |
W3C
→
|
| supportsFeature |
annotation of classes and properties as individuals
→
higher‑order style modeling → |
| usedFor |
applications requiring full RDF interoperability
→
highly expressive ontologies → |
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
OWL
→
|
hasVersion |