Sciweavers

Share
DLOG
2011

A Technique for Handling the Right Hand Side of Complex RIAs

10 years 3 months ago
A Technique for Handling the Right Hand Side of Complex RIAs
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 motivation comes from modeling product models in manufacturing systems. The series of papers, so far, have studied the extension of tableau algorithm for Description Logics (DLs) to capture complex RIAs. However, such RIAs permit only the left hand side of the composition of roles. To illustrate the technique, we extend RIQ DL with one RIA of the form R ˙ Q ◦ P.
Milenko Mosurovic, Nenad Krdzavac
Added 27 Aug 2011
Updated 27 Aug 2011
Type Journal
Year 2011
Where DLOG
Authors Milenko Mosurovic, Nenad Krdzavac
Comments (0)
books