search

HyperAgents / hmas

An ontology to describe Hypermedia Multi-Agent Systems, interactions, and organizations.
https://purl.org/hmas/
1 stars 0 forks source link

Ontology not in OWL 2 DL #39

Closed maximelefrancois86 closed 2 years ago

maximelefrancois86 commented 2 years ago

Error is: 

Non-simple property '<https://ci.mines-stetienne.fr/hmas#transitivelyContains>' or its inverse appears in asymmetric object property axiom

If we target OWL 2 DL, property :transitivelyContains cannot be both asymmetric and transitive.

FabienGandon commented 2 years ago

Pragmatically the most important aspect is the transitivity and to be asymmetric it would need to be strictlyContains