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

How can I make comments/descriptions in MQL4 code?

In python and other languages, you can write a multiline description like this: def func(): ''' this is my function description ''' pass How do you do this in MQL4?
Samaara
  • 27
  • 7
0
votes
0 answers

OWLAPI and HermiT reasoner: can not force irreflexive transitive object property

I am currently using OWLAPI and the HermiT reasoner on a simple ontology O modelling delegation. O represents the M.W.E. showing the issue I am facing and defines a single class Person, a single object property delegates(.,.) (whose domain and range…
Chaos
  • 101
  • 3
0
votes
1 answer

Translate English expression "exactly four" in ALCQO description logic

I have to translate in ALCQO the following sentence: A square is a polygon with exactly four edges and exactly four vertices which are line segments. I have tried the following approach using ALCQO: Square ≡ Polygon ⊓ (≥4hasPart.Edges) ⊓…
NikSp
  • 1,262
  • 2
  • 19
  • 42
0
votes
1 answer

Translate "there exists one" from English sentence to ALCQO description logic

I have the following English question There exists one school student. And I would like to translate it to ALCQO or First order logic. I have written the following: ∃SchoolStudent or in First Order Logic: ∃x(SchoolStudent(x)) However, I know from…
CodeEnthusiast
  • 17
  • 3
0
votes
1 answer

Translate english sentences to ALC description logic

I have the following two English sentences: Mary is a Person. Bulldog is a specie of dog. French bulldog is a specie of bulldog. The only kind of dog that Mary owns is French bulldog. I would like to know which of the following ways is the correct…
CodeEnthusiast
  • 17
  • 3
0
votes
0 answers

Formalize english question into a knowledge base using ALC formulas

I have the following four sentences: Mary is a person. Bulldog is a specie of dog. French bulldog is a specie of bulldog. The only kind of dog that Mary owns is French bulldog. A French is a person who owns only bulldog dogs. I would like to…
CodeEnthusiast
  • 17
  • 3
0
votes
0 answers

What is the best way to read ∃r.∃s.C(a) for OWL 2 in plain English?

We know that in OWL 2, ∃p.C denotes the class of individuals that have a value for the property p that is of type C. When we write ∃r.∃s.C(a), what will be the best way to read this in plain English? On a similar note, how do we read ∀r.∃s.C(a) that…
Masroor
  • 886
  • 1
  • 8
  • 23
0
votes
2 answers

In OWL, is it possible to assert that a class is not "empty"?

Given the different types of axioms available in OWL, is it possible to assert that a class is not "empty"? Or in other words, can we assert that there exists at least one individual that is part of the specified class? So, basically I am looking…
Win32
  • 149
  • 1
  • 9
0
votes
1 answer

Connection failed with racer reasoner

I'm trying to use racer (Description Logic reasoner), but i get the following error com.racersystems.jracer.RacerClientException: Connection refused: connect at com.racersystems.jracer.RacerClient.openConnection(RacerClient.java:76) at…
dev
  • 35
  • 6
0
votes
1 answer

How to distinguish the terms 'primitives' 'axioms' 'expressions' 'basic axioms' 'primitive terms' in description logic / OWL?

I have read several terms in the context of description logic / OWL Web Ontology Language, but it is hard for me to distinguish them. I could not find for any of them a clear definition in the context of the others, and authors use them often…
user3352632
  • 617
  • 6
  • 18
0
votes
1 answer

How is: "A subclassOf of B, C" interpreted? As AND or OR in rdfs / owl / description logic?

Is the following interpreted as the intersection (AND) in the sense that members of class A are members of B and C; or as the disjunction (OR) that members of A are a member of B, or a member of C, or member of both? A rdf:type owl:Class ; …
user3352632
  • 617
  • 6
  • 18
0
votes
0 answers

How to query the most specific type of a property

I have an objectProperty hierarchy. At a certain level of it, there is a sub-property X, which has its own sub-properties, let's say X1 and X2 one level below it. The actual property assertions are made using X1 and X2. However, I am querying with…
ZorgoZ
  • 2,974
  • 1
  • 12
  • 34
0
votes
1 answer

Infer non-trivial OWL superclasses (or subclasses) assertions using a Java reasoner

I want to express the following DL assertions in OWL A ⊑ B A ⊑ ∃R meaning that A is subconcept of B and all the instances of A must have a relation R with something else. I'm expressing it with the following OWL…
user402843
  • 89
  • 1
  • 9
0
votes
1 answer

OWLAPI: modify ontology after creating (HermiT) reasoner

I use OWLAPI with HermiT and it works unless I try to modify the ontology after the reasoner has been created. Should the reasoner be notified of modifications of the ontology? Or do I need to recreate the reasoner, or can I notify the reasoner that…
peschü
  • 1,299
  • 12
  • 21
0
votes
1 answer

How to generate axioms in Description Logic from ontologies using Protege?

I have just been starting to read about creating ontologies and using Protege. One of the things that I want to do, is given an ontology I want to express the axioms generated from the ontology in a Description Logic format. My questions are as…
dia
  • 33
  • 4
1 2 3
…
8 9