Yeah, the issue is OWLIM doesn't do disjoints (or complements), it does the domain and range fine but won't enforce the disjointness
> -----Original Message----- > From: [email protected] [mailto:topbraid- > [email protected]] On Behalf Of Christoph > Sent: Monday, February 09, 2009 8:23 AM > To: TopBraid Composer Users > Subject: [tbc-users] Re: owlim > > > but if I have another concept called eType, that is disjoint with > dType and I have the instance e1 of Type eType: > and define the triple e1 :aProp :r2 > then the reasoner should complain about this as e1 cannot be of Type > dType, but OWLIM does not. > > Thanks, Christoph > > On 9 Feb., 16:07, Scott Henninger <[email protected]> wrote: > > Christoph; The inferences you can make with domain and range are > that > > given domain and/or range restrictions on a property, you can infer > > the type of a resource. For example, given the triples: > > :r1 :aProp :r2 > > :aProp rdfs:domain :dType > > :aProp rdfs:range :rType > > > > The following inference will be made: > > :r1 rdf:type :dType > > :r2 rdf:type :rType > > > > SwiftOWLIM will make this inference. BTW, there is an excellent > > treatment of this and other RDFS/OWL inferences in Allemang & > > Handler's Working Ontologist book. Highly recommended! > > > > -- Scott > > > > On Feb 9, 7:56 am, Christoph <[email protected]> wrote: > > > > > > > > > If I have a property with domain and range restriction and I use > this > > > property with another domain (both domains are disjoint) then there > is > > > no error when reasoning is applied. > > > > > Does OWLIM not support domain/range restrictions? > > > > > br, Christoph- Zitierten Text ausblenden - > > > > - Zitierten Text anzeigen - > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
