Stack Overflow
Stack Overflow

Questions tagged [description-logic]

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.

Resources

121 questions
1
vote
1 answer

property assertions on class level for every individual in OWL 2 (concept product)

I have read this article and got an additional question about this topic: Is it possible to define a class property for every individual of the domain and the range class? Like a property value that points to a class or some special only…
John Doe
  • 41
  • 5
1
vote
1 answer

OWL ontology modeling; specific advanced issue

Consider that we are modeling a domain with the follwoing concepts: Maker which is a car producer, Model which is a specific model which hasMaker a specific unique Maker. And consider MakerExhibition which is a kind of exhibition that is done by a…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
1 answer

Why a superclass is not including the instances of subclasses in Protégé

I have a very simple class hierarchy, specified in OWL, with Protégé. For example: -Person --Man --Woman That is, every man is a person and every woman is a person. When I include instances of Man and Woman, I expect that these instances would be…
Joel Carbonera
  • 11
  • 2
1
vote
1 answer

Understanding Extential and Universal restriction use case (Pizza ontology use case)

Here is a simple question from the Pizza ontology guide. Please help me in clarifying in my doubts about it. I am referring to the page numbers as I cannot write the whole paragraph here. From the Page 61: there are 2 important notes, which says…
aditya
  • 13
  • 4
1
vote
1 answer

Inferring that two object properties are equal in OWL

Given an ontology O, and let A, B two classes and object properties P and Q such that: P domain A P range B A ⊑ =1 P.⊤ Q ⊑ P A ⊑ =1 Q.⊤ Thus, we to prove P ≡ Q, we only need show that P ⊑ Q,…
Median Hilal
  • 1,483
  • 9
  • 17
1
vote
1 answer

Why does not this DL query return expected results?

I've created a simple OWL ontology in Protege that describes human relationships: Classes : Person, Man, Woman Person is super class of Man and Woman Man and Woman are disjoint Object Properties : hasChild Its doman and range is…
frogatto
  • 28,539
  • 11
  • 83
  • 129
1
vote
1 answer

OWL. Union of object property

Suppose I have the following instance data and property axiom: Mary hasChild John Ben hasChild Tom Mary hasHusband Ben hasHusbandChild: hasHusband • hasChild How can I create the property hasChilds such that: hasChilds: hasChild…
ilia gurjanov
  • 11
  • 1
1
vote
1 answer

Instantiated triples statements from ontology axioms

Lets assume a very simple axiom in an ontology that says that All cheesypizza are pizzas that have topping of cheese. In OWL representation, the cheeseypizza would be represented as a subclass of restriction on the has-topping property. However, I…
Bikash Gyawali
  • 969
  • 2
  • 15
  • 33
1
vote
1 answer

Declaring both sub- and super-properties in instance data, or just sub- properties?

If I have a simple ontology that includes a subproperty axiom: ex:hasChair rdfs:subPropertyOf ex:hasParticipant . I want to assert that "Paul Pill was the chair of the example conference, and Jack Jill was a participant in the example conference." …
Gio Bact
  • 541
  • 1
  • 7
  • 23
1
vote
1 answer

How to define composition properties on Protege?

I develop an ontology with compositions as hasPart and partOf. I must use these properties for severals classes. So, I created theses properties without domain nor range and I use them by owl restrictions on classes. It is right ? Moreover, I read…
user3661334
  • 95
  • 2
  • 9
1
vote
1 answer

Inheritance of property characteristic by sub-properties

In OWL, is a sub-property of an irreflexive property also irreflexive? Likewise is a sub-property of an asymmetric property also asymmetric? Logically, they should be, but I can't find anything in the OWL documentation that specifies that this is…
brianmearns
  • 9,581
  • 10
  • 52
  • 79
1
vote
1 answer

Data range expression for list of uris (in Protégé)

I want to define a data range expression for a data property range that would define that the range is a list of uris, or a string containing a list of uris. Is this possible?
user3612938
  • 11
  • 1
1
vote
2 answers

How to use "all xs with value v for property p" as an object property range?

I have a class , Person. There is a datatype property Profession whose value for a Person are {"Composer","Singer","Conductor"}. I have another class that is called Piece, and an object property composedBy. I want the range of composedBy to be…
MrRisoni
  • 43
  • 4
1
vote
1 answer

Equal relationship between ontology properties

I have 2 properties, e.g. 'hasColor' and 'hasFinish'. I want to express with ontology that in case of ontology class A are properties 'hasColor' and 'hasFinish' equal (owl:equivalentProperty). But in case of ontology class B the properties…
user3024710
  • 515
  • 1
  • 6
  • 15
1
vote
2 answers

Determining what logic set contains a specific statement: DL, FOL, Second-Order

I'm working on an Ontology to represent information in Starcraft, and I am having trouble determining if the following general class axiom can be represented in DL. If not, I would like to know the minimum logical set needed to express it (FOL,…
Dustin
  • 143
  • 2
  • 12
1 2 3
…
8 9