Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] Not on Properties

Martin Kuba makub at
Tue Jan 3 23:42:26 PST 2012

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.


it is not possible.

The SWRL proposal
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"
allows "ObjectPropertyExpression" as P in the atom "P(?x,?y)" without further
definition of ObjectPropertyExpression. The OWL 2 spec
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

It also cannot be done using a class complement, like

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

because the class expression cannot contain variables.

Best regards

CERIT-SC                               Martin Kuba
Institute of Computer Science    email: makub at
Masaryk University   
Botanicka 68a, 60200 Brno, CZ     mobil: +420-603-533775

More information about the protege-discussion mailing list