Re: Restricting object property domain/range

Hi Kenneth,

to express what you describe, you have to make Duck a subclass of "hasBiologicalMother only Duck". For further basic modelling questions see, for example, the Protégé-OWL tutorial or the Protégé Wiki:

http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/protg-owl-tutorial/
https://protegewiki.stanford.edu/wiki/Protege4Pizzas10Minutes

Cheers

Thomas

> On 13. May 2020, at 12:13, Kenneth Keefe <kjkeefe@illinois.edu> wrote:
> 
> I apologize if this is not an appropriate forum to ask a question like this. I'd like to know what is the recommended way for defining an object property that should further restrict its domain and range when used with a subclass.
> 
> Let's assume I have the classes Animal, Duck, and Cat. Duck and Cat are both subclasses of Animal. Let's also assume I have an object property called hasBiologicalMother defined with a domain and range of Animal. However, a duck should only have another duck as its biological mother and similarly for the cat.
> 
> What is the best way to deal with this?
> 
> Thanks in advance!
> 
> Ken

--
Thomas Schneider | Interim Professor | Dept. of Mathematics and Computer Science | University of Bremen | +49 421 218 64432 | http://www.informatik.uni-bremen.de/~schneidt/

For visits: Cartesium, Room 1.56
PGP public key: http://www.informatik.uni-bremen.de/~schneidt/ts_public_key.asc

I work flexibly -- the fact that I am emailing you now does not imply that I expect a response or action outside of your own working hours.