Mercurial > repos > mikel-egana-aranguren > oppl

annotate OPPL/test.oppl @ 7:756f1f5798bf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added (Properly) reasoner option (Pellet or HermiT)
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Sun, 18 Sep 2011 12:57:22 +0200
parents 46b9d13a44fc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
1 ?whole:CLASS,
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
2 ?part:CLASS
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
3 SELECT
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
4 ?part SubClassOf part_of some ?whole WHERE ?part != Nothing
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
5 BEGIN
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
6 ADD ?part SubClassOf part_of only ?whole
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
7 END;
46b9d13a44fc First commit (1.0.0)
mikel-egana-aranguren
parents:
diff changeset
8