0

I can not find clear statement, whether SubObjectPropertyOf and ObjectPropertyChain bring me out of OWL DL or not?

In this post Post 1 is mentioned: "In OWL 2 (but, unfortunately, not OWL 2 DL, as Antoine Zimmermann pointed out in the comments), you can assert that a given property is a superproperty of a chain of properties..."

And in this Post 2 is doesnt mentioned, whether solving that problem bringed out of DL.

Thanks for the answer.

Andreas Veithen
  • 8,868
  • 3
  • 25
  • 28
Taras
  • 1
  • 2
  • The explanation is in the [global restrictions section of the OWL 2 W3C docs](https://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DL) – UninformedUser Apr 07 '19 at 06:30
  • Thank you @AKSW. I want to be sure that I got right. I have `:restOn owl:inverseOf :bears` and `:bears rdfs:subPropertyOf :locatedBelow` (so, all of them are not simple). Also I have ObjectPropertyChain `:bears :bears owl:propertyChainAxiom locatedBelow`, where `:locatedBelow` is transitive. Although I am dealing with not simple properties, I have the correct order in my axiom (`bears` < `locatedBelow`) and according to subordination to `locatedBelow`: `bears` < `locatedBelow` too. So I should be in DL, right? – Taras Apr 07 '19 at 07:58
  • You can use Protege tool which shows the OWL profile if you're not sure – UninformedUser Apr 07 '19 at 08:20
  • The sentence you extract from Post 1 is misleading. Property chains are allowed in OWL 2 DL, but only under certain conditions, as explained in the link provided by AKSW. If you want to test that your ontology is in OWL 2 DL, you can use the OWL 2 validator: http://visualdataweb.de/validator/ – Antoine Zimmermann Apr 08 '19 at 19:38
  • @AKSW I read in few sources that Protege validator is not to 100% exact. Is it wright? Or you mean an other validator plugin? – Taras Apr 09 '19 at 02:58
  • @Antoine Zimmermann I am appreciated! Very usefull link! – Taras Apr 09 '19 at 02:59

0 Answers0