Clojurians Log v2

Welp, at least I was correct in my assumptions. Thanks for letting me know.

what OWL profile are you running? It looks like it should be included in EL QL and RL

I tried in both SL and DL

and Pellet is DL (i.e. when you select “DL” then you get Pellet)

It’s always confused me a little how the OWL 2 profiles relate to OWL 2 DL… My understanding is that OWL 2 DL is essentially the set of computable OWL; drawn from OWL 2 Full with syntax restrictions. Then the profiles are all in OWL 2 DL; but are subsets with known computational guarantees. I don’t know though why OWL 2 DL doesn’t provide any (though OWL 1 DL does); is it because it’s unknown?? i.e. why isn’t OWL 2 DL listed in Table 10 here? https://www.w3.org/TR/2012/REC-owl2-profiles-20121211/#Computational_Properties

Hmm I guess it’s because OWL 2 Direct Semantics is OWL 2 DL??

https://www.w3.org/TR/2012/REC-owl2-direct-semantics-20121211/#Introduction

OWL can be such a rats nest 🤣

Sorry I wasn’t responding… Yes. When I first started working with OWL 2 I was trying to figure out “which level is DL?” And that’s what I came up with too. It makes sense, but not when you compare it to OWL 1

ah interesting; I was wondering how it was useful as it didn’t appear to make any entailments… so it’s main use is in essentially filtering out reflexive inferences you don’t want; makes sense.

Well, I figured it would make sense… if it worked 🤣

Protegé says you can’t have owl:IrreflexiveProperty on “complex” properties. Which seems to refer to any property that has any description on it

For instance:

:sibling a owl:IrreflexiveProperty, owl:SymmetricProperty;
         owl:propertyChainAxiom (:parent :child).