This is exactly one of the attractions for us with OWL 2 in our design
of UMBEL. Sometimes one wants to look at a node in relation to other
nodes and hierarchies, the class view. Then, in other circumstances, one
may want to describe that node as an instance with attributes, the
individual view.
The beauty of the metamodel of punning in OWL 2 is that both views are
legitimate; in fact, the given object has the same URI identity. The
OWLAPI underneath Protege will handle all of this.
Optical illusions appear as they do based on viewpoint and perspective,
even though the object has a single representation. That is how I kind
of try to grok these questions, and welcome OWL 2 as a nice sleight of
hand to still make everything decidable.
So, declare all of your Ivans as classes, set your class relationships,
and then give them an object data property. OWL 2 will pun the rest.
So, maybe the answer to the question is that Ivan is both (and still is
an instance of its class).
But, please, this design pattern is not for all, for sure. However, if
you want your ontology to act as a bridge between abstract, conceptual
views of things and concrete, attribute-laden views of things, you can
get your Ivan to swing both ways.
Mike
On 4/9/2015 12:52 AM, Csongor Nyulas wrote:
> What is Ivan and what is Czech? Is Ivan an individual? Is Czech a class?
> Is Ivan an instance of Czech?
> Can you share with us your ontology and/or point us to the description
> of the example that you try to model?
> At the moment it is hard to understand what you are trying to model, and
> why should it follow from your statements that "Ivan is a Czech".
>
> Csongor
>
> On 04/08/2015 09:00 PM, Joanna.zyy wrote:
>> Hello,
>> I meet a problem about define universal quantification as learning OWL
>> 2 and
>> SWRL Tutorial
>> In the Tutorial, there is an example about reasoning that Ivan is in the
>> Czech. How to write the axioms "hasParent only Czech SubClassOf Czech", I
>> only can write "Czech SubClassOf hasParnt only Czech" but it falls to
>> infer
>> Ivan is a Czech. Would you help me?
>>
>> Thanks a lot!
>> Joanna
>>
>>
>>
>> --
>> View this message in context:
>>
http://protege-project.136.n4.nabble.com/usage-of-universal-quantification-tp4662644.html>>
>> Sent from the Protege User mailing list archive at Nabble.com.
>> _______________________________________________
>> protege-user mailing list
>>
[hidden email]
>>
https://mailman.stanford.edu/mailman/listinfo/protege-user>
>
> _______________________________________________
> protege-user mailing list
>
[hidden email]
>
https://mailman.stanford.edu/mailman/listinfo/protege-user>
_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user