On 6/15/11 3:29 AM, Gerrit wrote:
Now I do have a case of not all constraint violations showing up. I have defined a property chain as an irreflexive property, and when this is violated it shows up correctly in TBC. I don't see this violation when using SPIN API. I assume you are using owlrl-all.rdf (OWL 2 RL profile) in both cases? -- Scott -- |
- [topbraid-users] [SPIN API] Function http://topbraid.org/... Gerrit
- Re: [topbraid-users] [SPIN API] Function http://topb... Holger Knublauch
- [topbraid-users] Re: [SPIN API] Function http://... Gerrit
- Re: [topbraid-users] Re: [SPIN API] Function... Holger Knublauch
- [topbraid-users] Re: [SPIN API] Function... Gerrit
- Re: [topbraid-users] Re: [SPIN API]... Holger Knublauch
- [topbraid-users] Re: [SPIN API]... Gerrit
- Re: [topbraid-users] Re: [S... Scott Henninger
- Re: [topbraid-users] Re: [S... Holger Knublauch
- Re: [topbraid-users] Re: [S... Holger Knublauch
- [topbraid-users] Re: [SPIN ... Gerrit
- Re: [topbraid-users] Re: [S... Holger Knublauch
- [topbraid-users] Re: [SPIN ... Gerrit
