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.
All labels observed (1)
| Label | Occurrences |
|---|---|
| OWL Full canonical | 3 |
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
ⓘ
RDFS ⓘ
surface form:
RDF Schema
|
| contrastsWith |
OWL 2 EL
ⓘ
OWL 2 QL ⓘ OWL 2 RL ⓘ OWL DL ⓘ OWL ⓘ
surface form:
OWL Lite
|
| definedIn |
OWL
ⓘ
surface form:
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
ⓘ
surface form:
RDF model theory
|
| hasSemanticRestriction | none beyond RDF semantics ⓘ |
| hasTradeoff | expressivity versus decidability ⓘ |
| lessRestrictiveThan |
OWL DL
ⓘ
OWL ⓘ
surface form:
OWL Lite
|
| partOf |
OWL
ⓘ
surface form:
Web Ontology Language
|
| relatedStandard |
OWL 2 recommendation
ⓘ
surface form:
OWL 2
OWL DL ⓘ RDF ⓘ RDFS ⓘ |
| standardizedBy |
World Wide Web Consortium
ⓘ
surface form:
W3C
|
| supportsFeature |
annotation of classes and properties as individuals
ⓘ
higher‑order style modeling ⓘ |
| usedFor |
applications requiring full RDF interoperability
ⓘ
highly expressive ontologies ⓘ |
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.