Christoph; Yes this would be an inconsistent definition. In general, OWLIM does not have any mechanism to detect and display inconsistency warnings, as Pellet does. Therefore this "error" (more like a limit on datalog reasoners - they create triples and that is it) will be present for SwiftOWLIM any time you want to detect inconsistencies. Pellet is one alternative, but a very fussy one.
SPIN constraints are another alternative. In Composer, the advantages are1) you can control which in inconsistencies to look for, 2) you are not constrained by RDFS and OWL constructs, and 3) performance is similar to datalog (OWLIM) reasoners than full Tableau (Pellet) reasoners. -- Scott On Feb 9, 10:22 am, Christoph <[email protected]> wrote: > 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 -~----------~----~----~----~------~----~------~--~---
