seas:connectedTo -> Property chain axiom commented

[GeorgFerdinandSchneider]

Dear @maximelefrancois86,

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

[maximelefrancois86]

Hello Georg,

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

[GeorgFerdinandSchneider]

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 ) .