1:- module(rdf_owl,
    2          [owl_some/3,
    3           owl_all/3]).    4
    5:- use_module(library(semweb/rdf11)).    6:- use_module(library(semweb/rdfs)).    7:- use_module(library(rdf_owl/owl)).    8:- use_module(library(regex)).    9
   10:-op(300,xfy,some).   11:-op(300,xfy,all).

 owl_some(?Restr, ?Property, ?Obj) is nondet

true if Restr is an OWL expression SomeValuesFrom(Property,Obj)

   16owl_some(R,P,O) :-
   17        onProperty(R,P),
   18        someValuesFrom(R,O).

 owl_all(?Restr, ?Property, ?Obj) is nondet

true if Restr is an OWL expression AllValuesFrom(Property,Obj)

   23owl_all(R,P,O) :-
   24        onProperty(R,P),
   25        allValuesFrom(R,O).
   26
   27owl_restriction(R, some(P,O)) :-
   28        onProperty(R,P),
   29        someValuesFrom(R,O).
   30
   31owl_restriction(R, all(P,O)) :-
   32        onProperty(R,P),
   33        someValuesFrom(R,O)