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
0
votes
1 answer
OWL; P max 1 Thing semantics
In OWL ontology, let's have:
P Domain A
P Range B
A subClassOf P max 1 Thing
Asking a DL query
(1) P max 1 Thing
will return A; OK
Asking
(2) P exactly 1 Thing or P exactly 0 Thing
will return A as well.
However; asking
(3) P exactly 1…
Median Hilal
- 1,483
- 9
- 17
0
votes
2 answers
DL; returning classes with max 1 and not exactly 0
Let's have an OWL-DL ontology considering only the TBox (no individuals) and Let's consider
Chinesefamily hasChilren max 1
SterileChinesefamily subClassOf Chinesefamily
SterileChinesefamily hasChilren exactly 0
The expression
hasChilren max 1
will…
Median Hilal
- 1,483
- 9
- 17
0
votes
1 answer
OWL-DL; determining if an expression is legal
In SHOIN(D) that is equivalent to the DL family used by OWL-DL;
Is this expression legal:
F ⊑ (≤1 r. D) ⊓ (￢ (=0 r. D))
Where F, D are concepts, r is a role. I want to express that each instance of F is related to at most one instance of D through…
Median Hilal
- 1,483
- 9
- 17
0
votes
3 answers
Cyclic or Acyclic TBox
Is the following TBox cyclic or acyclic? If it is a cyclic TBox, how could it be converted to an acyclic one?
A ⊑ ¬E
E ⊑ ¬A
Welcome789
- 525
- 2
- 6
- 11
0
votes
1 answer
Known motivation for multiple SubPropertyOf?
In OWL/DL, it is possible to have a property/role that is a Sub[Object/Data]PropertyOf/subrole of more than one property/role, but I never found a motivating example in the W3C OWL documentation or in DL papers.
Do you know of any published OWL…
Rhangaun
- 1,430
- 2
- 15
- 34
0
votes
0 answers
Finding paths between two classes in OWL-DL
In DL (and OWL-DL): Given a TBox, two concepts C1 and C2, in my problem, we say that a path exists between C1 and C2 if and only if:
C1 ⊑ =1 r.C2 where r is a single/composite role (role chain)
i.e. if r is a single role then we…
Median Hilal
- 1,483
- 9
- 17
0
votes
0 answers
DL; Generic reasoning algorithms
Actually, I'm getting lost about what can be done and cannot be done using a reasoner in general.
My question is two fold:
I used to think that a reasoner is only dedicated for sumbsumption and taxonomies. Recently, I discovered that a reasoner can…
Median Hilal
- 1,483
- 9
- 17
0
votes
0 answers
Using algebra to formally express an ontology
I have OWL ontology TBOX only (no instances), I need to formally express it using algebra to define some structure.
I have looked for that, I found some representations
(C, P, A) the reference is…
Median Hilal
- 1,483
- 9
- 17
0
votes
1 answer
How to represent an ontology using description logic?
I'm learning ontology and the DL language is difficult for me, I found good exercises online and here is one question: given follow ontology:
There are two disjoint kinds of entities: cities and countries. Each
country has a single capital, a…
alex
- 47
- 6
0
votes
0 answers
OWL; Property chaining
I have OWL ontology without individuals. Given two classes
Cs
and
Cd
How will the query look like an what type of reasoners can be used to find all the property chains such that:
(Cs subClassOf PropertyP exactly 1 Cd)
Where Cs is the domain of…
Median Hilal
- 1,483
- 9
- 17
0
votes
1 answer
How to classificate individuals in a class by specific condition on protege?
I have an ontology that has:
Class Agent and Class Action
A list of data property (that inherit of a dataproperty restrictionProperties) has domain UNION of (Agent and Action) and Range primitive (Example hasMoney, hasTime)
I want to classify all…
user2714386
0
votes
2 answers
Defining a graph with node distances in OWL
suppose I would like to represent following graph with node A, B and C in OWL,
connections:
A-B d=1
B-C d=2
A-C d=3
E.g., there is an edge from A to B, with distance d=1
I want model these relations in OWL in a way that I want to make clear…
user3590127
- 131
- 1
- 4
0
votes
0 answers
Syntactic consistency of OWL 2 ontology
I want to define syntactic rules in order to control my OWL 2 consistency ontology with respsect to this language. Please, tell me if I am right:
to define these rules, I must check them in this page W3C Direct Semantics?
An example of such rules:…
OntoBLW
- 3
- 4
0
votes
1 answer
Protege Owl: restrictions on individuals
I have a little problem with my ontology!
We work on an ontology which manage a smart home. So we have objects like Tables, Doors, Lamps, .... A object that is smart has:
an actuator which run an action like open a door for example
a sensor which…
Kheenro
- 1
0
votes
1 answer
DL query for individuals not connected to others by a property
I have an OWL ontology with three interconnected individuals: a, b, and c, and also has two isolated individuals x, and y.
interconnected individuals:
have at least one outbound object property assertion. e.g.: a hasRelationWith b; or
have at least…
pimgeek
- 259
- 1
- 6
- 17