Description logics (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic. Additionally, it has more efficient decision problems than first-order predicate logic.
Questions tagged [description-logic]
121 questions
13
votes
2 answers
What is supported in First Order Logics which is not supported in Description Logic?
While studying description logics (DL), it is very common to read that it is a fragment of first order logics (FOL), but it is hard to read something explicitely on what is excluded from DL which is part of FOL, which makes DL (with all its dialects…
user3590127
- 131
- 1
- 4
12
votes
1 answer
retrieving most specific classes of instances
Is it possible to have a definition of an resource (from DBpedia) with a SPARQL query? I want to have something like the TBox and ABox that are shown in (Conceptual) Clustering methods for
the Semantic Web: issues and applications (slides 10–11). …
user2837896
- 271
- 3
- 11
11
votes
1 answer
OWL 2 rolification
In description logic, there is a concept called "rolification" (OWL and Rules, Sec 3.2). It converts a concept (class) into a role (property). For example, when we rolify R(x), we get r(x,x). This technique is useful for expressing some rules in…
Yang
- 7,712
- 9
- 48
- 65
10
votes
1 answer
What is the owl:Nothing class designed to do?
If you look at the OWL ontology definition, you'll see a bunch of class definitions. One of them is the following:
owl:Nothing a owl:Class ;
rdfs:label "Nothing" ;
rdfs:comment "This is the empty class." ;
rdfs:isDefinedBy…
Kristian
- 21,204
- 19
- 101
- 176
9
votes
1 answer
Using Property Chains to get inferred Knowledge in an OWL Ontology(Protege)
I have modelled the following in my Ontology:
Club employs some Player, Player hasNationality some Nationality, Player hasNationalStatus value National_Player, Country is equivalent to Nationality.
I want the Ontology to infer that:
If a Player…
ChrisDLFC
- 215
- 4
- 9
8
votes
4 answers
Why is OWL Full undecidable?
I've been looking all around on why OWL Full is undecidable, but I haven't found an easy to understand example that would lead me to comprehend it.
I've found statements that explain that it is due to "Entailment Closure" and that is also correlated…
Juan Andrade
- 81
- 2
8
votes
1 answer
Adding statements of knowledge to an OWL Ontology in Protege)
In my Ontology I have three classes, Player, Team, and Competition. I also have the two object properties, employs, and competesIn. The domain of employs is Team, and the range Player, the domain of competesIn is Team or Player and the range…
ChrisDLFC
- 215
- 4
- 9
6
votes
1 answer
Writing ontologies in DL syntax?
I just discovered OWL and Protege. Upon reading through this reference page (which I quote below), I am left wondering whether it is possible to not use the abstract OWL syntax, and rather to write in DL syntax. My background is in logic, so it…
QuietThud
- 351
- 1
- 12
5
votes
3 answers
How to represent this sentence in description logic?
How to describe this in description logic?
"every human is either male or female"
Thanks
ahmed
- 14,316
- 30
- 94
- 127
5
votes
1 answer
Why is this DL-Query not returning any individuals?
This DL-Query is not returning any individuals:
Query (Protégé syntax) : hasPet exactly 1 DomesticAnimal
Here's part of the ontology:
:hasPet a owl:ObjectProperty;
rdfs:domain :Human;
rdfs:range :DomesticAnimal;
…
Anthony
- 644
- 7
- 23
4
votes
1 answer
Data range expression for an enumeration in Protégé
I would like to define the range of a data type property as an exhaustive enumeration of strings, in a way that an individual could have as value of this property only one of the strings in the enumeration.
For example, a data type property called…
Zaratruta
- 2,097
- 2
- 20
- 26
4
votes
1 answer
Is property with exact cardinality one functional?
In an OWL-DL ontology, consider a property p with domain D and range R where D has a restriction over p to have cardinality of exactly one:
D SubClassOf p exactly 1 Thing
(D ⊑ =1 p.Thing)
Can we then infer that p is a functional…
Median Hilal
- 1,483
- 9
- 17
4
votes
3 answers
How to add qualified cardinality in JENA
How can I add qualified cardinality restriction in Jena? I can not use createCardinalityQRestriction because the OntModelSpec is for the first version of OWL, not OWL2. In ModelFactory's createOntologyModel, is there a way to create an OWL2…
Michal Joštiak
- 161
- 9
4
votes
3 answers
DL Reasoner vs Rule Engine: can you explain the difference?
Can someone explain the differences between a DL Reasoner like Pellet/deafult OWL Reasoner and a rule engine like Jess? and their applications ?
Thanks.
soontobeared
- 441
- 4
- 9
- 30
3
votes
1 answer
What is the difference between "someValuesFrom" and "allValuesFrom"?
In description logic, what is the difference between "someValuesFrom" and "allValuesFrom"?
In other words, the difference between (limited existential quantification) and (value restriction).
For example, consider this:
∆ = {a, b, c, d, e}
ext(B)…
ahmed
- 14,316
- 30
- 94
- 127