Dear Samson Tu:
Thanks for answering, however, do not you know a way to specify it in the
ontology without using reasoners?
I ask because in my case, the size of my ontology does not allow me to make use
of the reasoners. The reasoning skills I have to develop myself, adjusted to my
particular needs. For this reason, I need a way to translate that knowledge
into the ontology so that I can use it later.
Best regards.
Message: 1
Date: Thu, 18 May 2017 15:46:03 -0700
From: Samson Tu <s...@stanford.edu>
To: User support for WebProtege and Protege Desktop
<protege-u...@lists.stanford.edu>
Subject: Re: [protege-user] "DisjointDataProperties" only for the data
properties of a class.
Message-ID: <36b01b11-05b2-476b-a339-bf5ca700d...@stanford.edu>
Content-Type: text/plain; charset="us-ascii"
> On May 17, 2017, at 7:27 PM, Manuel Enrique Puebla Martinez <mpue...@uci.cu>
> wrote:
>
> I have a modeling doubt.
>
> I want to specify that a class in my ontology has a set of data properties
> whose values are not repeated only for that class.
>
> "DisjointDataProperties allows it to be asserted that several data properties
> are pairwise incompatible (exclusive)." However, this will be true for all
> classes of my ontology that use the data properties specified as disjoint. I
> need the restriction to apply only to one class and not all. How can I model
> this in OWL2?
>
One possibility is to write a rule: ExampleClass(?i), p1(?i, ?v), p2(?i, ?v) ->
owl:Nothing(?i), where p1 and p2 have been defined as data properties.
Interestingly, different reasoners behave differently when there is an instance
that have a common value for the two properties. Pellet throws an inconsistent
ontology error. Hermit displays a dialog box and offers to give explanation for
the inconsistent ontology. FaCT++ shows nothing, but a DL query of ExampleClass
shows that it is a subclass of owl:Nothing.
With best regards,
Samson
--
Samson Tu email:
s...@stanford.edu
Senior Research Engineer web:
www.stanford.edu/~swt/
Center for Biomedical Informatics Research phone: 1-650-725-3391
Stanford University fax: 1-650-725-7944
La @universidad_uci es Fidel. Los jóvenes no fallaremos.
#HastaSiempreComandante
#HastalaVictoriaSiempre
