[protege-discussion] Not on Properties

[Martin Kuba]

Dne 3.1.2012 19:13, mar napsal(a):
> Hi
>
> How is it possible to have Not on a property?
>
> Like:
> A(?x),B(?y),Not (P(?x,?y)) ->  Q(?x)
>
> to say x doesn't have property P with y.

Hi,

it is not possible.

The SWRL proposal http://www.w3.org/Submission/SWRL/#2.1
is a bit vague, but it allows only "OWL property" as P in the atom "P(?x,?y)".

The "Syntax for Rules in OWL 2" http://www.webont.org/owled/2009/papers/owled2009_submission_16.pdf
allows "ObjectPropertyExpression" as P in the atom "P(?x,?y)" without further
definition of ObjectPropertyExpression. The OWL 2 spec http://www.w3.org/TR/owl2-syntax/#Object_Property_Expressions
allows only one type of object property expression and it is the inverse property expression
(which is a bit pointless in rules, because (inverse P)(?x,?y)==P(?y,?x) ).

The OWL API will also let you use only a object property expression, see
http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/model/SWRLObjectPropertyAtom.html#getPredicate()

It also cannot be done using a class complement, like

(not (P value ?y))(?x)

because the class expression cannot contain variables.



Best regards

Martin
-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
CERIT-SC                               Martin Kuba
Institute of Computer Science    email: makub at ics.muni.cz
Masaryk University             http://www.ics.muni.cz/~makub/
Botanicka 68a, 60200 Brno, CZ     mobil: +420-603-533775
--------------------------------------------------------------