search

w3c / sdw-sosa-ssn

Repository of the Spatial Data on the Web Working Group for the SOSA/SSN vocabulary
8 stars 5 forks source link

Reasoning Issue while loading ssn-ext in Protegé #40

Closed jcctesolin closed 4 months ago

jcctesolin commented 1 year ago

Hi Guys,

I was trying to use ssn-extension to deal with Observation collection. However, after loading ssn-ext ontology (http://www.w3.org/ns/ssn/ext/) in Protegé and starting the Reasoner, I am getting this error:

  ERROR  11:22:54  An error occurred during reasoning: Axiom: SubObjectPropertyOf(ObjectPropertyChain( <http://www.w3.org/ns/sosa/madeByActuator> <http://www.w3.org/ns/ssn/implements> ) <http://www.w3.org/ns/sosa/usedProcedure>).
org.mindswap.pellet.exceptions.UnsupportedFeatureException: Axiom: SubObjectPropertyOf(ObjectPropertyChain( <http://www.w3.org/ns/sosa/madeByActuator> <http://www.w3.org/ns/ssn/implements> ) <http://www.w3.org/ns/sosa/usedProcedure>)
    at com.clarkparsia.pellet.owlapiv3.PelletVisitor.addUnsupportedAxiom(PelletVisitor.java:119) ~[na:na]
    at com.clarkparsia.pellet.owlapiv3.PelletVisitor.verify(PelletVisitor.java:160) ~[na:na]
    at com.clarkparsia.pellet.owlapiv3.PelletReasoner.refresh(PelletReasoner.java:969) ~[na:na]
    at com.clarkparsia.pellet.owlapiv3.PelletReasoner.<init>(PelletReasoner.java:345) ~[na:na]
    at com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory.createReasoner(PelletReasonerFactory.java:69) ~[na:na]
    at com.clarkparsia.pellet.owlapiv3.PelletReasonerFactory.createReasoner(PelletReasonerFactory.java:33) ~[na:na]
    at org.protege.editor.owl.model.inference.ReasonerUtilities.createReasoner(ReasonerUtilities.java:20) ~[na:na]
    at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.ensureRunningReasonerInitialized(OWLReasonerManagerImpl.java:428) ~[na:na]
    at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$ClassificationRunner.run(OWLReasonerManagerImpl.java:386) ~[na:na]
    at java.lang.Thread.run(Thread.java:745) ~[na:1.8.0_121]

I tested using Hermit and Pellet and I got the same issue. Also, I tested with sosa and ssn ontologies and this error does not appear.

Thanks

Julio

dr-shorthair commented 1 year ago

Someone familiar with Hermit or Pellet will have to explain this for me

dr-shorthair commented 4 months ago

The key elements of ssn-ext have been incorporated into SSN Core (aka SOSA - https://github.com/w3c/sdw-sosa-ssn/blob/gh-pages/ssn/rdf/ontology/core/sosa.ttl) and SSN (https://github.com/w3c/sdw-sosa-ssn/blob/gh-pages/ssn/rdf/ontology/core/ssn.ttl).

However, please note

  1. the Ontology URIs are not yet linked to these new ontology documents
  2. only TTL serializations are up to date with the update, and there is no content-negotiation set up yet
  3. there are some cardinality constraints in SSN that probably violate OWL-DL so Protege might complain anyway
jcctesolin commented 4 months ago

Hi @dr-shorthair , I think we can close this issue. I did some tests, and Protege is not complaining after reasoning activation (pellet) anymore