python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - description-logic

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...
test-img

user3352632

logic

owl

rdfs

first-order-logic

description-logic

Votes: 0

Answers: 1

Latest Answer

An axiom is any thing you know to be true in your domain, e.g. the fact that all the dogs are animals. A particular kind of axiom is the assertion (or fact), which declares something about specific in...
test-img

logi-kal

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...
test-img

user3352632

owl

semantic-web

rdfs

reasoning

description-logic

Votes: 0

Answers: 1

Latest Answer

I can quote RDFS, and considering OWL should follow from that, I don't expect any difference there: If a class C is a subclass of a class C', then all instances of C will also be instances of C'. The...
test-img

IS4

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 ma...
test-img

ZorgoZ

sparql

owl

description-logic

Votes: 0

Answers: 0

Posts

Questions

Blogs

Jobs