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.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Milenko Mosurovic, Nenad Krdzavac
• Keywords: Automated Reasoning, Description Logics, DLOG 2011, Left Hand Side, Product Models