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
0
votes
1 answer

Owl Formal Semantics

From what I've understood as reading the book Foundations of Semantic Web Technologies concerning owl formal semantics, Hitzler et al have put forward two kinds of model-theoretic semantics for SROIQ: one is the model checking like approach (where…
Sara
  • 97
  • 6
0
votes
1 answer

DL expression generation using OWL API

I need to generate DL expression from OWLObject in OWL API. For now, I am using DLSyntaxObjectRenderer like: DLSyntaxObjectRenderer obj = new DLSyntaxObjectRenderer(); The problem is that the DL expressions that are generated only contain the…
Noor
  • 19,638
  • 38
  • 136
  • 254
0
votes
0 answers

Why n-ary relations make logic languages undecidable?

The knowledge representation languages, in general (like Description logics, OWL, etc), provide only binary relations, in order to keep decidability. But I don't understant why providing ternary relations would make the language undecidable. I would…
Zaratruta
  • 2,097
  • 2
  • 20
  • 26
0
votes
2 answers

Clarification requests about Description Logic and OWL

I have two main Questions: 1/ If we speak about OWL 2 semantics in academic manuscripts (ex. thesis) : do we include the description provided in this W3C official page, which consists of more than one interpretation functions OR the one provided in…
OntoBLW
  • 3
  • 4
0
votes
1 answer

How to express that instances with equal values of different classes are instances from an other class?

I have four classes: A, B, C and S. Class A has inferred instances i1 and i2 which are based on a numerial value condition (in Equivalent To). Class B has inferred instances i3 and i4 which are based on a numerial value condition (in Equivalent To).…
user3352632
  • 617
  • 6
  • 18
0
votes
2 answers

How to use double values in Protégé / OWL / DL for class expressions (Syntax)?

I want to use double values for class expression syntax in Protégé but I can't find any examples. All are using integer values, not double. For instance: http://protegeproject.github.io/protege/class-expression-syntax/ For instance, I want to…
user3352632
  • 617
  • 6
  • 18
0
votes
1 answer

Mixing EquivalentClass and SubClass in OWL

I'm curious about mixing SubClassOf and EquivalentClass in a Class description, and how a reasoner would behave. Specifically, if I have both an EquivalentClass and a SubClassOf assertion for the same Class, do both the EquivalentClass AND the…
Jonathan
  • 7,536
  • 4
  • 30
  • 44
0
votes
1 answer

Predicates equivalent

I am looking for an approach to find two predicates (properties) of semantic web are equivalents or not? is that possible using description logic or another methods? Thanks a lot
Olivier rozin
  • 69
  • 5
0
votes
1 answer

How to express this individual in Description logic

I want to express this in dl, Protege view. How can I express the individual inclusive gateway1 which is from type inclusiveGateway? {inclusiveGateway} ≡ (inclusivegateway1) (inslusiveGateway2) name: inclusiveGateway id:…
Richy
  • 27
  • 6
0
votes
1 answer

Defining a class individuals as a combination of another class individuals

In an OWL ontology, given a class Student; I want to define another class StudentsPair, which is any pair of students, in such a way that automatically computes all the possible dual combinations of Student, i.e. Student(x) and Student (y) -->…
Median Hilal
  • 1,483
  • 9
  • 17
0
votes
2 answers

Description Logics and Ontologies: How to denote role domain-restrictions to blank nodes

Request for assistance denoting a domain-restriction to a blank node. Figure 1: Modelling a many-to-many relationship with a blank node. Business Rule: An Enrolment maps one Student to one Section, once. My attempt: ∃hasStudent.⊤ ≡ ∃hasSection.⊤ ≡…
JohnG79
  • 1,485
  • 1
  • 17
  • 23
0
votes
1 answer

Define a node using OWL ontology

I am a newbie to OWL, and I have defined a node using OWL DL, as
Kumar Shrey
  • 41
  • 3
0
votes
2 answers

what is the differenc between these two "statments" in desciption logic

I don't know if you call this statement or not, but I have this question what is the difference between these two statments : A ⊑ B ⊓ C and A ASSERTA_SYMBOL = B ⊓ C sorry I don't know how to write the ASSERTA_SYMBOL, but it is in this image a…
Marco Dinatsoli
  • 10,322
  • 37
  • 139
  • 253
0
votes
0 answers

Describe constraints of a table/matrix with owl

Afaik. Owl:cardinality is used to restrict how many values can a specific property contain. I was wondering, is it possible to describe with cardinality that rows in the same table must have the same cell count?
inf3rno
  • 24,976
  • 11
  • 115
  • 197
0
votes
1 answer

An Example from Description Logic Handbook

I dont understand this example very clearly. The example is taken from Description Logic Handbook. At the last line of the example, "induction is required, hence such reasoning is not first order". That line completely took me off the guard. your…
Badri
  • 25
  • 6
1 2 3
…
8 9