Ontology has many applications to engineering but is not easily taken up by engineers. For
example, specifying products in space and time together (four dimensions) enables more …

We design a decidable extension of the description logic SROIQ underlying the Web
Ontology Language OWL 2. The new logic, called SR+ OIQ, supports a controlled use of role …

In this paper, we propose an extension of the SROIQ description logic (DL) in order to
support part–part relations among concepts in knowledge representation. The proposed …

The syntax of both SROIQ and OWL 2 allow complex role inclusion axioms where the role
composition occurs on the left of the subsumption relation, but not where the role …

This paper examines a new technique based on tableau, that allows one to introduce
composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our …

We consider a new description logic ALCIr that extends ALCI with role inclusion axioms of
the form R⊑ QR1... Rm satisfying a certain regularity condition. We prove that concept …

We consider a new description logic ALCIr that extends ALCI with role inclusion axioms of
the form R⊑ QR1... Rm satisfying a certain regularity condition. We prove that concept …

This paper establishes the decidability of SR⊔ IQ which has composition-based role
Inclusion axioms (RIAs) of the form R1◦···◦ Rn⊑ T1⊔···⊔ Tm. Also the consistency of an Abox …