DIG interface does not support provides complex role inclusion
Issue #8
invalid
Original [issue 8](https://code.google.com/p/factplusplus/issues/detail?id=8) created by dtsarkov on 2007-12-10T12:23:26.000Z:
<b>What steps will reproduce the problem?</b> <?xml version="1.0" encoding="UTF-8" ?> - <tells uri="http://dl.kr.org/dig/FaCTpp-007_13-22-26_10-12-2007"> <defrole name="a" /> <defrole name="b" /> <defrole name="c" /> - <impliesr> <ratom name="a" /> - <chain> <ratom name="b" /> <ratom name="c" /> </chain> </impliesr> </tells>
<b>What is the expected output? What do you see instead?</b> definition of complex role inclusion
Comments (1)
-
reporter - Log in to comment
Comment [
#1](https://code.google.com/p/factplusplus/issues/detail?id=8#c1) originally posted by dtsarkov on 2007-12-12T15:02:21.000Z:There is no possibility to define role inclusion axioms in DIG 1.1. The <chain> construction has a syntax <chain> F1 F2 ... Fn A</chain>, 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.