Attempto/APE

Inconsistent OWL translation of string properties

Opened this issue · 0 comments

The ACE sentence

"Like" labels a key.

(correctly) fails to be converted into OWL, resulting in the message "label: Subject or object of this verb makes an illegal reference."

However, in the presence of certain (carefully constructed) additional sentences, a partial OWL translation is returned instead of the error.

"Like" labels a key.
If John pushes the key then John says "Hi".
John inserts a card.

  SubClassOf(
      ObjectIntersectionOf(
         ObjectOneOf(
            :John
         )
         ObjectSomeValuesFrom(
            :push
            ObjectOneOf(
               _:633879601337020495
            )
         )
      )
      DataHasValue(
         :say
         "Hi"^^<http://www.w3.org/2001/XMLSchema#string>
      )
   )
   ClassAssertion(
      :key
      _:633879601337020495
   )
   ClassAssertion(
      ObjectSomeValuesFrom(
         :insert
         :card
      )
      :John
   )