OWL DL

E165093

Description logic language Knowledge representation language Web ontology language

OWL DL is a sublanguage of the Web Ontology Language that balances expressive power with computational decidability by adhering closely to description logic foundations.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (3)

Label	Occurrences
OWL DL canonical	4
OWL 2 DL	3
Web Ontology Language Description Logic	1

How this entity was disambiguated

This entity first appeared as the object of triple T1422232 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: OWL DL
Context triple: [OWL Full, contrastsWith, OWL DL]

A. OWL
OWL (Web Ontology Language) is a W3C-recommended semantic web language used to define and share rich, machine-interpretable ontologies on the web.
B. 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.
C. OWL 2 QL
OWL 2 QL is a lightweight profile of the Web Ontology Language designed to enable efficient query answering over large datasets using standard relational database technologies.
D. OWL 2 EL
OWL 2 EL is a lightweight profile of the Web Ontology Language designed for efficient reasoning over large-scale ontologies, particularly in domains like biomedical terminologies.
E. RDFS
RDFS (RDF Schema) is a semantic web vocabulary language used to define the structure, classes, and properties of RDF data.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: OWL DL
Target entity description: OWL DL is a sublanguage of the Web Ontology Language that balances expressive power with computational decidability by adhering closely to description logic foundations.

A. OWL
OWL (Web Ontology Language) is a W3C-recommended semantic web language used to define and share rich, machine-interpretable ontologies on the web.
B. 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.
C. OWL 2 QL
OWL 2 QL is a lightweight profile of the Web Ontology Language designed to enable efficient query answering over large datasets using standard relational database technologies.
D. OWL 2 EL
OWL 2 EL is a lightweight profile of the Web Ontology Language designed for efficient reasoning over large-scale ontologies, particularly in domains like biomedical terminologies.
E. RDFS
RDFS (RDF Schema) is a semantic web vocabulary language used to define the structure, classes, and properties of RDF data.
F. None of above. chosen

Statements (43)

Predicate	Object
instanceOf	Description logic language ⓘ Knowledge representation language ⓘ Web ontology language ⓘ
basedOn	Description logic ⓘ
compatibleWith	Automated reasoning algorithms for description logics ⓘ Tableau-based DL reasoners ⓘ
constrains	Use of RDF Schema constructs ⓘ
distinguishedFrom	OWL Full ⓘ OWL Lite ⓘ
ensures	Complete reasoning for supported constructs ⓘ Decidable reasoning ⓘ
follows	Description logic foundations ⓘ
formalismType	Logic-based ontology language ⓘ
hasConstraint	Strict separation of vocabulary categories (classes, properties, individuals) ⓘ
hasDesignGoal	Balance between expressivity and decidability ⓘ Computational decidability ⓘ
hasExpressivity	Less than OWL Full ⓘ More than OWL Lite ⓘ
hasNameExpansion	OWL DL self-linksurface differs ⓘ surface form: Web Ontology Language Description Logic
hasProperty	High worst-case computational complexity ⓘ Polynomial data complexity for many reasoning tasks ⓘ
hasRestriction	No arbitrary use of RDF constructs ⓘ No metamodeling of classes as individuals ⓘ Separation of classes, properties, and individuals ⓘ
hasSemanticsDefinedBy	Model-theoretic semantics ⓘ
influenced	OWL DL self-linksurface differs ⓘ surface form: OWL 2 DL
partOf	OWL ⓘ surface form: Web Ontology Language
relatedTo	OWL Full ⓘ OWL Lite ⓘ
standardizedBy	World Wide Web Consortium ⓘ surface form: W3C
standardizedIn	OWL ⓘ surface form: OWL 1
subLanguageOf	OWL ⓘ
supports	Class axioms ⓘ Concept satisfiability checking ⓘ Individual assertions ⓘ Instance checking ⓘ Ontology consistency checking ⓘ Property axioms ⓘ Subsumption reasoning ⓘ
targetDomain	Machine-interpretable ontologies ⓘ
usedFor	Knowledge representation on the Web ⓘ Ontology-based reasoning systems ⓘ Semantic Web ontologies ⓘ

How these facts were elicited

Referenced by (8)

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

OWL Full → contrastsWith → OWL DL ⓘ

OWL Full → lessRestrictiveThan → OWL DL ⓘ

OWL Full → relatedStandard → OWL DL ⓘ

OWL 2 QL → contrastedWith → OWL DL ⓘ

this entity surface form: OWL 2 DL

OWL DL → hasNameExpansion → OWL DL self-linksurface differs ⓘ

this entity surface form: Web Ontology Language Description Logic

OWL DL → influenced → OWL DL self-linksurface differs ⓘ

this entity surface form: OWL 2 DL

Description Logic → foundationOf → OWL DL ⓘ

this entity surface form: OWL 2 DL

All labels observed (3)

How this entity was disambiguated Show

Statements (43)

How these facts were elicited Show

Referenced by (8)

How this entity was disambiguated

How these facts were elicited