What steps will reproduce the problem? <?xml version="1.0" encoding="UTF-8" ?> - <tells uri="http://dl.kr.org/dig/FaCTpp-007_13-22-26_10-12-2007"&gt; <defrole name="a" /> <defrole name="b" /> <defrole name="c" /> - <impliesr> <ratom name="a" /> - <chain> <ratom name="b" /> <ratom name="c" /> </chain> </impliesr> </tells>

What is the expected output? What do you see instead? definition of complex role inclusion

There is no possibility to define role inclusion axioms in DIG 1.1. The construction has a syntax F1 F2 ... Fn A, where F1 ... Fn are features (functional roles) and A is an attribute (data role). The feature chain has a semantics of an attribute, and can only be used in an attribute-related concept expressions.