Search Mailing List Archives
[protege-owl] Enumerated Classes and Special Relationships
moodleyp at cs.ukzn.ac.za
Fri Jan 22 20:50:14 PST 2010
I'm not sure how one would implement a special purpose reasoner or use SWRL,
but I'll certainly look into these options. Perhaps I should have considered
the choice of technology a bit better but my research area revolves around
ontologies - though there are other merits ontologies favour over other
Thank you for your time and assistance.
On Fri, Jan 22, 2010 at 10:29 PM, Thomas Russ <tar at isi.edu> wrote:
> I would expect that you could do this using either an AnnotationProperty in
> OWL-DL or an ObjectProperty in OWL-Full. Now, you wouldn't get any
> automated reasoning from any of the classifiers. You would have to
> implement your own special purpose reasoner to make this annotation at the
> class level work at the instance level.
> Or you would need to use a more expressive representation language, such as
> first order logic (FOL). In FOL you could write a rule something like:
> forall(?x,?y): A(?x) ^ B(?y) => isApplicableTo(?x, ?y)
> But that would mean you weren't using OWL anymore.
> But looking at that particular item, it occurs to me that one could also
> encode this with a SWRL rule and still use OWL.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the protege-owl