[Pellet-users] Open world reasoning with quantifiied restrictions

[Henry S. Thompson]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I _think_ I've struggled with a similar question.

Here's a query that works with pellet to find all violations of a
minCardinality=1 constraint, which is very close to what you want, if
I'm right.

PREFIX owl:    <http://www.w3.org/2002/07/owl#>
PREFIX  rdfs:     <http://www.w3.org/2000/01/rdf-schema#>
SELECT ?x ?p
 WHERE {  ?r a owl:Restriction .
          { ?r owl:cardinality 1 } UNION { ?r owl:minCardinality 1 } .
          ?r owl:onProperty ?p .
          ?p rdfs:domain ?c .
          ?x a ?c .
         OPTIONAL {?x ?p ?y}
         FILTER (!bound(?y)) } 

ht
- -- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht at inf.ed.ac.uk
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged spam]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFGClUWkjnJixAXWBoRAjvwAKCAN5khn730jyRsBQART+hP3C/mJwCeLZlY
PX8Ngcj0LtjrKu7BRUfOuog=
=jYI1
-----END PGP SIGNATURE-----