search

vangelisv / thea

OWL2 library for Prolog
http://vangelisv.github.com/thea
108 stars 19 forks source link

spurious annotatedTargetProperty #16

Closed cmungall closed 14 years ago

cmungall commented 14 years ago

$ thea testfiles/country.owl --to owlpl | grep classAssertion z | grep adjacentTo classAssertion('http://www.w3.org/2002/07/owl#annotatedTargetProperty','http://www.co-ode.org/roberts/country.owl#adjacentTo'). ontologyAxiom('http://www.co-ode.org/roberts/country.owl',classAssertion('http://www.w3.org/2002/07/owl#annotatedTargetProperty','http://www.co-ode.org/roberts/country.owl#adjacentTo')).

These seem to be generated according to table 5 in the rdf mapping spec - but then are not consumed correctly

vangelisv commented 14 years ago

!!! what is this annotatedTargetProperty??? I cannot find it either in the country.owl neither in any spec!!!. It only exists in the in the thea sources (table 5 and 6). Do you remember how it got there in the first place?

cmungall commented 14 years ago

no idea!

it looks like it should be ObjectProperty rather than AnnotatedTargetProperty - then it would match the spec.

vangelisv commented 14 years ago

In your commit to master "partial fix for issue#16" you remove (comment out) the entries from tables 5 & 6, i.s.o. replacing AnnotatedTargetProperty with ObjectProperty.

What is the reason behind this?

cmungall commented 14 years ago

I commented out these lines because they are not in the spec, and were generating spurious results, as in the output above.

However, a bolder fix would have been to instead change this to ObjectProperty, as in the spec. I will go ahead and do this.

cmungall commented 14 years ago

committed to master and pushed