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 -~----------~----~----~----~------~----~------~--~---
