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.

AI illustration

How this image was made

AI-generated illustration of OWL Full

This AI-generated illustration was produced by black-forest-labs/FLUX.2-dev (1024x1024) from a prompt written by openai/gpt-oss-120b from the entity's label + description.

Prompt

Generate an image of OWL Full (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 5

How this entity was disambiguated

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 ⓘ
linked to: RDFS
contrastsWith OWL 2 EL ⓘ
OWL 2 QL ⓘ
OWL 2 RL ⓘ
OWL DL ⓘ
OWL Lite ⓘ
linked to: OWL
definedIn OWL 1 ⓘ
linked to: OWL

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 ⓘ
linked to: RDF
hasSemanticRestriction none beyond RDF semantics ⓘ
hasTradeoff expressivity versus decidability ⓘ
lessRestrictiveThan OWL DL ⓘ
OWL Lite ⓘ
linked to: OWL
partOf Web Ontology Language ⓘ
linked to: OWL
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 ⓘ

How these facts were elicited

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

OWL → hasVersion → OWL Full ⓘ
OWL DL → relatedTo → OWL Full ⓘ
OWL DL → distinguishedFrom → OWL Full ⓘ
OWL Lite → lessExpressiveThan → OWL Full ⓘ
OWL 2 Full → predecessor → OWL Full ⓘ