OWL DL
E165093
OWL DL is a sublanguage of the Web Ontology Language that balances expressive power with computational decidability by adhering closely to description logic foundations.
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 |
Web Ontology Language Description Logic
ⓘ
linked to:
OWL DL
|
| 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 2 DL
ⓘ
linked to:
OWL DL
|
| partOf |
Web Ontology Language
ⓘ
linked to:
OWL
|
| relatedTo |
OWL Full
ⓘ
OWL Lite ⓘ |
| standardizedBy |
W3C
ⓘ
linked to:
World Wide Web Consortium
|
| standardizedIn |
OWL 1
ⓘ
linked to:
OWL
|
| 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
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: OWL DL Description of subject: OWL DL is a sublanguage of the Web Ontology Language that balances expressive power with computational decidability by adhering closely to description logic foundations.
Referenced by (8)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: OWL DL
linked to: OWL DL
linked to: OWL DL
linked to: OWL DL