Protégé-OWL 3.3.1

edu.stanford.smi.protegex.owl.swrl.bridge.builtins.tbox
Class SWRLBuiltInLibraryImpl

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.swrl.bridge.builtins.SWRLBuiltInLibrary
      extended by edu.stanford.smi.protegex.owl.swrl.bridge.builtins.tbox.SWRLBuiltInLibraryImpl

public class SWRLBuiltInLibraryImpl
extends SWRLBuiltInLibrary

Implementations library for SWRL TBox built-in methods. See here for documentation on this library. See here for documentation on defining SWRL built-in libraries.


Constructor Summary
SWRLBuiltInLibraryImpl()
           
 
Method Summary
 boolean differentFrom(List<Argument> arguments)
          Check that the two class or property arguments are not the same.
 boolean isAnnotationProperty(List<Argument> arguments)
          Determine if a single property argument is an annotation property.
 boolean isClass(List<Argument> arguments)
          Determine if a single argument is an OWL named class.
 boolean isDatatypeProperty(List<Argument> arguments)
          Determine if a single argument is an OWL datatype property.
 boolean isDirectSubClassOf(List<Argument> arguments)
          Check that the first class argument is a direct subclass of the second class argument.
 boolean isDirectSubPropertyOf(List<Argument> arguments)
          Determine if the first property argument is a direct subproperty of the second property argument.
 boolean isDirectSuperClassOf(List<Argument> arguments)
          Check that the first class argument is a direct superclass of the second class argument.
 boolean isDirectSuperPropertyOf(List<Argument> arguments)
          Determine if the first property argument is a direct superproperty of the second property argument.
 boolean isDisjointWith(List<Argument> arguments)
          Determine if the two class or property arguments represent classes or properties that are disjoint with each other.
 boolean isEquivalentTo(List<Argument> arguments)
          Determine if the two class or property arguments represent classes or properties that are equivalent to each other.
 boolean isFunctionalProperty(List<Argument> arguments)
          Determine if a single property argument is functional.
 boolean isInDirectDomainOf(List<Argument> arguments)
          Check that the first class argument is in the domain of the second property argument (excluding its superproperties).
 boolean isInDirectRangeOf(List<Argument> arguments)
          Check that the first class argument is in the range of the second property argument excluding its superproperties.
 boolean isInDomainOf(List<Argument> arguments)
          Check that the first class argument is in the domain of the second property argument (including its superproperties).
 boolean isInRangeOf(List<Argument> arguments)
          Check that the first class argument is in the range of the second property argument (including its superproperties).
 boolean isInverseFunctionalProperty(List<Argument> arguments)
          Determine if a single property argument is inverse functional.
 boolean isObjectProperty(List<Argument> arguments)
          Determine if a single argument is an OWL object property.
 boolean isProperty(List<Argument> arguments)
          Determine if a single property argument is an OWL property.
 boolean isSubClassOf(List<Argument> arguments)
          Check that the first class argument is a subclass of the second class argument.
 boolean isSubPropertyOf(List<Argument> arguments)
          Determine if the first property argument is a subproperty of the second property argument.
 boolean isSuperClassOf(List<Argument> arguments)
          Check that the first class argument is a superclass of the second class argument.
 boolean isSuperPropertyOf(List<Argument> arguments)
          Determine if the first property argument is a superproperty of the second property argument.
 boolean isSymmetricProperty(List<Argument> arguments)
          Determine if a single property argument is symmetric.
 boolean isTransitiveProperty(List<Argument> arguments)
          Determine if a single property argument is transitive.
 void reset()
           
 boolean sameAs(List<Argument> arguments)
          Check that the two class or property arguments are the same.
 
Methods inherited from class edu.stanford.smi.protegex.owl.swrl.bridge.builtins.SWRLBuiltInLibrary
getInvokingBridge, getInvokingBuiltInIndex, getInvokingRuleName, getLibraryName, invokeBuiltInMethod, invokeResetMethod
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SWRLBuiltInLibraryImpl

public SWRLBuiltInLibraryImpl()
Method Detail

reset

public void reset()
Specified by:
reset in class SWRLBuiltInLibrary

isProperty

public boolean isProperty(List<Argument> arguments)
                   throws BuiltInException
Determine if a single property argument is an OWL property. If the argument is unbound, bind it to all OWL properties in an ontology.

Throws:
BuiltInException

isObjectProperty

public boolean isObjectProperty(List<Argument> arguments)
                         throws BuiltInException
Determine if a single argument is an OWL object property. If the argument is unbound, bind it to all OWL object properties in an ontology.

Throws:
BuiltInException

isDatatypeProperty

public boolean isDatatypeProperty(List<Argument> arguments)
                           throws BuiltInException
Determine if a single argument is an OWL datatype property. If the argument is unbound, bind it to all OWL datatype properties in an ontology.

Throws:
BuiltInException

isClass

public boolean isClass(List<Argument> arguments)
                throws BuiltInException
Determine if a single argument is an OWL named class. If the argument is unbound, bind it to all OWL named classes in an ontology.

Throws:
BuiltInException

isTransitiveProperty

public boolean isTransitiveProperty(List<Argument> arguments)
                             throws BuiltInException
Determine if a single property argument is transitive.

Throws:
BuiltInException

isSymmetricProperty

public boolean isSymmetricProperty(List<Argument> arguments)
                            throws BuiltInException
Determine if a single property argument is symmetric.

Throws:
BuiltInException

isFunctionalProperty

public boolean isFunctionalProperty(List<Argument> arguments)
                             throws BuiltInException
Determine if a single property argument is functional.

Throws:
BuiltInException

isAnnotationProperty

public boolean isAnnotationProperty(List<Argument> arguments)
                             throws BuiltInException
Determine if a single property argument is an annotation property.

Throws:
BuiltInException

isInverseFunctionalProperty

public boolean isInverseFunctionalProperty(List<Argument> arguments)
                                    throws BuiltInException
Determine if a single property argument is inverse functional.

Throws:
BuiltInException

isEquivalentTo

public boolean isEquivalentTo(List<Argument> arguments)
                       throws BuiltInException
Determine if the two class or property arguments represent classes or properties that are equivalent to each other. If the first argument is unbound, bind it to the equivalent properties or classes of the second argument (if any exist).

Throws:
BuiltInException

isDisjointWith

public boolean isDisjointWith(List<Argument> arguments)
                       throws BuiltInException
Determine if the two class or property arguments represent classes or properties that are disjoint with each other. If the first argument is unbound, bind it to the disjoint properties or classes of the second argument (if any exist).

Throws:
BuiltInException

isDirectSubPropertyOf

public boolean isDirectSubPropertyOf(List<Argument> arguments)
                              throws BuiltInException
Determine if the first property argument is a direct subproperty of the second property argument. If the first argument is unbound, bind it to the direct sub properties of the second argument (if any exist).

Throws:
BuiltInException

isSubPropertyOf

public boolean isSubPropertyOf(List<Argument> arguments)
                        throws BuiltInException
Determine if the first property argument is a subproperty of the second property argument. If the first argument is unbound, bind it to the sub properties of the second argument (if any exist).

Throws:
BuiltInException

isDirectSuperPropertyOf

public boolean isDirectSuperPropertyOf(List<Argument> arguments)
                                throws BuiltInException
Determine if the first property argument is a direct superproperty of the second property argument. If the first argument is unbound, bind it to the direct super properties of the second argument (if any exist).

Throws:
BuiltInException

isSuperPropertyOf

public boolean isSuperPropertyOf(List<Argument> arguments)
                          throws BuiltInException
Determine if the first property argument is a superproperty of the second property argument. If the first argument is unbound, bind it to the super properties of the second argument (if any exist).

Throws:
BuiltInException

isDirectSubClassOf

public boolean isDirectSubClassOf(List<Argument> arguments)
                           throws BuiltInException
Check that the first class argument is a direct subclass of the second class argument. If the first argument is unbound, bind it to the direct subclasses of the second argument (if any exist).

Throws:
BuiltInException

isSubClassOf

public boolean isSubClassOf(List<Argument> arguments)
                     throws BuiltInException
Check that the first class argument is a subclass of the second class argument. If the first argument is unbound, bind it to the subclasses of the second argument (if any exist).

Throws:
BuiltInException

isDirectSuperClassOf

public boolean isDirectSuperClassOf(List<Argument> arguments)
                             throws BuiltInException
Check that the first class argument is a direct superclass of the second class argument. If the first argument is unbound, bind it to the direct superclasses of the second argument (if any exist).

Throws:
BuiltInException

isSuperClassOf

public boolean isSuperClassOf(List<Argument> arguments)
                       throws BuiltInException
Check that the first class argument is a superclass of the second class argument. If the first argument is unbound, bind it to the superclasses of the second argument (if any exist).

Throws:
BuiltInException

isInRangeOf

public boolean isInRangeOf(List<Argument> arguments)
                    throws BuiltInException
Check that the first class argument is in the range of the second property argument (including its superproperties). If the first argument is unbound, bind it to the range of the second argument (if any exist).

Throws:
BuiltInException

isInDirectRangeOf

public boolean isInDirectRangeOf(List<Argument> arguments)
                          throws BuiltInException
Check that the first class argument is in the range of the second property argument excluding its superproperties. If the first argument is unbound, bind it to the range of the second argument (if any exist).

Throws:
BuiltInException

isInDomainOf

public boolean isInDomainOf(List<Argument> arguments)
                     throws BuiltInException
Check that the first class argument is in the domain of the second property argument (including its superproperties). If the first argument is unbound and the second argument is bound, bind the first argument to the domain(s) of the second property argument (if any exist). If the first class argument is bound and the second argument is unbound, bind the second argument to the properties that have the class in their domain (if any). An error is thrown if both arguments are unbound.

Throws:
BuiltInException

isInDirectDomainOf

public boolean isInDirectDomainOf(List<Argument> arguments)
                           throws BuiltInException
Check that the first class argument is in the domain of the second property argument (excluding its superproperties). If the first argument is unbound and the second argument is bound, bind the first argument to the domain(s) of the second property argument (if any exist). If the first class argument is bound and the second argument is unbound, bind the second argument to the properties that have the class in their domain (if any). An error is thrown if both arguments are unbound.

Throws:
BuiltInException

sameAs

public boolean sameAs(List<Argument> arguments)
               throws BuiltInException
Check that the two class or property arguments are the same.

Throws:
BuiltInException

differentFrom

public boolean differentFrom(List<Argument> arguments)
                      throws BuiltInException
Check that the two class or property arguments are not the same.

Throws:
BuiltInException

Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.