# $Id: russell.axiom.n3,v 1.5 2006/06/16 19:03:31 amdus Exp $

@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://www.agfa.com/w3c/euler/russell#>.

:RussellSet a :RussellSet.
:skf a owl:FunctionalProperty.

{?C a :RussellSet} => {?C a (?C)!:skf. (?C)!:skf owl:complementOf ?C}.
{?C a (?C)!:skf. (?C)!:skf owl:complementOf ?C} => {?C a :RussellSet}.

{?C owl:complementOf ?D. ?A a ?C. ?A a ?D} => {?A a owl:Nothing}.