seas:connectedTo -> Property chain axiom commented

Question

seas:connectedTo -> Property chain axiom commented

GeorgFerdinandSchneider opened this issue 4 years ago · comments

Georg Ferdinand Schneider commented 4 years ago

the seas system ontology is a valuable asset when describing technical systems. Looking into it again I came across the commented property chain axiom for seas:conectedTo in v1.1. and v1.0.

 # seas:connectedTo owl:propertyChainAxiom ( seas:connectedThrough seas:connectsSystem ) .

Why has this been commented? It would be helpful to have the same chain rule applied as for

seas:connectedThrough owl:propertyChainAxiom ( seas:connectsAt seas:connectsSystemThrough ) .
seas:connectsSystem owl:propertyChainAxiom ( seas:connectsSystemAt seas:connectionPointOf ) .

best

Georg

Maxime Lefrançois · Answer 1 · Mon Nov 16 2020 18:01:15 GMT+0800 (China Standard Time)

Hello Georg,

This axiom would make the ontology violate the OWL 2 DL profile

Georg Ferdinand Schneider · Answer 2 · Mon Nov 16 2020 21:37:35 GMT+0800 (China Standard Time)

OK thanks @maximelefrancois86 for this clarification. I was wondering if it makes sense to omit the commented line in the file? or add to the commented line a comment ^^

# Logically applies but resulting ontology is outside of OWL 2 DL
# seas:connectedTo owl:propertyChainAxiom ( seas:connectedThrough seas:connectsSystem ) .