While studying description logics (DL), it is very common to read that it is a fragment of first order logics (FOL), but it is hard to read something explicitely on what is excluded from DL which i...

I've been looking all around on why OWL Full is undecidable, but I haven't found an easy to understand example that would lead me to comprehend it. I've found statements that explain that it is du...

I have modelled the following in my Ontology: Club employs some Player, Player hasNationality some Nationality, Player hasNationalStatus value National_Player, Country is equivalent to Nationality...

In my Ontology I have three classes, Player, Team, and Competition. I also have the two object properties, employs, and competesIn. The domain of employs is Team, and the range Player, the domain o...

If you look at the OWL ontology definition, you'll see a bunch of class definitions. One of them is the following: owl:Nothing a owl:Class ; rdfs:label "Nothing" ; rdfs:comment "This is the empt...

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

Is it possible to have a definition of an resource (from DBpedia) with a SPARQL query? I want to have something like the TBox and ABox that are shown in (Conceptual) Clustering methods for the Sema...

In description logic, there is a concept called "rolification" (OWL and Rules, Sec 3.2). It converts a concept (class) into a role (property). For example, when we rolify R(x), we get r(x,x). This ...

I just discovered OWL and Protege. Upon reading through this reference page (which I quote below), I am left wondering whether it is possible to not use the abstract OWL syntax, and rather to write...

How to describe this in description logic? "every human is either male or female" Thanks