instance data

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

instance data

Cassandra H. Garcia
In Protege-OWL, can a reasoner (e.g., Racer) reason over instances?
    For example, suppose dataInstance1 is of type "hydrography" and is
also of type "accuracy5" and also of type "date10" (so it's an instance
of many classes).
    Then, taskInstance50 is of type subtask1 which has restrictions to
need data source instances of type accuracy5 and date10.
    Can a reasoner in Protege determine that dataInstance1 (an
instance) is needed?

Thank you!
Cassandra
-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html

Reply | Threaded
Open this post in threaded view
|

Re: instance data

Nick Drummond
Cassandra

Yes you can reason over instances (its not very scalable without  
special technology (eg [1])

No, the reasoner can't work out that datainstance1 is needed - OWL  
employs Open World semantics.
taskInstance50 can easily exist without an explicit relation to  
datainstance1 (or any other instance) and be consistent.

There are some good examples of instance reasoning here [2] which  
should get you more clued up.

Nick

[1] http://instancestore.man.ac.uk/
[2] http://owl.man.ac.uk/2005/07/sssw/


On 8 May 2006, at 16:05, Cassandra H. Garcia wrote:

> In Protege-OWL, can a reasoner (e.g., Racer) reason over instances?
>     For example, suppose dataInstance1 is of type "hydrography" and is
> also of type "accuracy5" and also of type "date10" (so it's an  
> instance
> of many classes).
>     Then, taskInstance50 is of type subtask1 which has restrictions to
> need data source instances of type accuracy5 and date10.
>     Can a reasoner in Protege determine that dataInstance1 (an
> instance) is needed?
>
> Thank you!
> Cassandra
> ----------------------------------------------------------------------
> ---
> To unsubscribe go to http://protege.stanford.edu/community/ 
> subscribe.html
>

-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html