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