Protégé-OWL 3.3.1

edu.stanford.smi.protegex.owl.swrl.bridge.builtins.abox
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.abox.SWRLBuiltInLibraryImpl

public class SWRLBuiltInLibraryImpl
extends SWRLBuiltInLibrary

Implementations library for SWRL ABox 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 hasClass(List<Argument> arguments)
          Returns true if the individual named by the first argument is an instance of the class identified by the second argument.
 boolean hasInstance(List<Argument> arguments)
          Returns true if the class named by the first argument has an individual identified by the second argument.
 boolean hasNumberOfIndividuals(List<Argument> arguments)
          Returns true if the class named by the second argument has the number of individuals specified by the first argument.
 boolean hasNumberOfPropertyValues(List<Argument> arguments)
          Returns true if the individual named by the second argument has the number of values specified by the first argument for the property named by the third argument.
 boolean hasProperty(List<Argument> arguments)
          Returns true if the individual named by the first argument has at least one value for the property named by the second parameter.
 boolean hasURI(List<Argument> arguments)
          Returns true if the OWL class, property, or individual named by the first argument has a URI identified by the second argument.
 boolean isIndividual(List<Argument> arguments)
          Determine if a single argument is an OWL individual.
 void reset()
           
 
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

isIndividual

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

Throws:
BuiltInException

hasProperty

public boolean hasProperty(List<Argument> arguments)
                    throws BuiltInException
Returns true if the individual named by the first argument has at least one value for the property named by the second parameter. If the second argument in unbound, bind it to all the properties that have at least one value for this individual. If the second argument is bound, an optional third argument can be supplied supplied to restrict the result to property values that are equal to the value specified by this argument.

Throws:
BuiltInException

hasNumberOfPropertyValues

public boolean hasNumberOfPropertyValues(List<Argument> arguments)
                                  throws BuiltInException
Returns true if the individual named by the second argument has the number of values specified by the first argument for the property named by the third argument. If a fourth argument is supplied, match only property values that are equal to that argument. If the first argument is unbound when the built-in is called, it is bound to the actual number of property values for the property for the specified individual.

Throws:
BuiltInException

hasInstance

public boolean hasInstance(List<Argument> arguments)
                    throws BuiltInException
Returns true if the class named by the first argument has an individual identified by the second argument. If the second argument is unbound, bind it to all individuals of the class.

Throws:
BuiltInException

hasURI

public boolean hasURI(List<Argument> arguments)
               throws BuiltInException
Returns true if the OWL class, property, or individual named by the first argument has a URI identified by the second argument. If the second argument is unbound, bind it to URI of the resource.

Throws:
BuiltInException

hasClass

public boolean hasClass(List<Argument> arguments)
                 throws BuiltInException
Returns true if the individual named by the first argument is an instance of the class identified by the second argument. If the second argument is unbound, bind it to all defining classes of the individual.

Throws:
BuiltInException

hasNumberOfIndividuals

public boolean hasNumberOfIndividuals(List<Argument> arguments)
                               throws BuiltInException
Returns true if the class named by the second argument has the number of individuals specified by the first argument. If the first argument is unbound when the built-in is called, it is bound to the actual number of individuals of the specified class.

Throws:
BuiltInException

Protégé-OWL 3.3.1

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