HefesT / factplusplus

Automatically exported from code.google.com/p/factplusplus
0 stars 0 forks source link

DIG interface does not support provides complex role inclusion #8

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
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">
  <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

Original issue reported on code.google.com by pawel.ka...@gmail.com on 10 Dec 2007 at 12:23

GoogleCodeExporter commented 8 years ago
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.

Original comment by dmitry.t...@gmail.com on 12 Dec 2007 at 3:02