Axiom does not belong to OWL 2 QL: EquivalentClasses

[Caitlin Woods]

Hi there,

I am having some trouble reasoning over an ontology with the Ontop 3.0.1 reasoner. I have a class called "Procedure" and I want to say "Procedure is EquivalentTo "some hasTask some Task"".

In DL notation, that is: Procedure ≡ ∃hasTask.Task

However, when running the ONTOP reasoner, I get the following warning: 

Axiom does not belong to OWL 2 QL: EquivalentClasses(<http://www.semanticweb.org/procedure-test-ontology#Procedure> ObjectSomeValuesFrom(<http://www.semanticweb.org/procedure-test-ontology#hasTask> <http://www.semanticweb.org/procedure-test-ontology#Task>) ) (null)

My understanding is that EquivalentClasses are within the OWL 2 QL profile. Am I incorrect in thinking this? Any help would be appreciated.

Thank you for your help!

Kind Regards,
Caitlin Woods

[Guohui Xiao]

Hi Caitlin,

Procedure ≡ ∃hasTask.Task is actually not in OWL 2 QL / DL-LiteR

Let's break this EquivalentClasses axiom into two parts:

Procedure \sqsubseteq ∃hasTask.Task : This is in OWL 2 QL

∃hasTask.Task \sqsubseteq Procedure : This is NOT in OWL 2 QL due to the qualified existential ∃hasTask.Task on the left.

Cheers,

Guohui

--
Please follow our guidelines on how to report a bug https://ontop-vkg.org/community/contributing/bug-report
---
You received this message because you are subscribed to the Google Groups "ontop4obda" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontop4obda+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ontop4obda/f21511ad-746c-4e36-a204-84d7a72e09c0n%40googlegroups.com.

--

Guohui Xiao, PhD
Assistant Professor
KRDB - Faculty of Computer Science        
Free University of Bozen-Bolzano
Piazza Domenicani, 3                
I-39100 Bolzano, Italy    
http://www.ghxiao.org

According to the Regulation EU 2016/679, you are hereby informed that this message contains confidential information that is intended only for the use of the addressee. If you are not the addressee, and have received this message by mistake, please delete it and immediately notify us. In any case you may not copy or disseminate this message to anyone. Thank you.

[Caitlin Woods]

Oh I see! Thank you for your clear response!