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

java.lang.Object
  edu.stanford.smi.protegex.owl.swrl.bridge.builtins.AbstractSWRLBuiltInLibrary
      edu.stanford.smi.protegex.owl.swrl.bridge.builtins.abox.SWRLBuiltInLibraryImpl

All Implemented Interfaces:

SWRLBuiltInLibrary

public class SWRLBuiltInLibraryImpl
extends AbstractSWRLBuiltInLibrary

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<BuiltInArgument> arguments) Returns true if the individual named by the first argument is an instance of the class identified by the second argument.
boolean	hasIndividual(List<BuiltInArgument> arguments) Returns true if the class named by the first argument has an individual identified by the second argument.
boolean	hasNumberOfPropertyValues(List<BuiltInArgument> arguments) Returns true if the individual named by the second argument has the number of values specified by the first argument of the property specified by the third argument.
boolean	hasProperty(List<BuiltInArgument> arguments) Returns true if the individual named by the first argument has a property specified by the second argument.
boolean	hasURI(List<BuiltInArgument> arguments) Returns true if the OWL class, property, or individual named by the first argument has a URI identified by the second argument.
boolean	hasValue(List<BuiltInArgument> arguments) Returns true if the individual named by the first argument has a property specified by the second argument with the value specified by the third argument.
boolean	isIndividual(List<BuiltInArgument> arguments) Determine if a single argument is an OWL individual.
boolean	isLiteral(List<BuiltInArgument> arguments)
boolean	isNumeric(List<BuiltInArgument> arguments)
boolean	notLiteral(List<BuiltInArgument> arguments)
boolean	notNumeric(List<BuiltInArgument> arguments)
void	reset()

Methods inherited from class edu.stanford.smi.protegex.owl.swrl.bridge.builtins.AbstractSWRLBuiltInLibrary

areAllArgumentDataValues, areAllArgumentsBooleans, areAllArgumentsDoubles, areAllArgumentsFloats, areAllArgumentsIntegers, areAllArgumentsLongs, areAllArgumentsNumeric, areAllArgumentsOfAnOrderedType, areAllArgumentsShorts, areAllArgumentsStrings, checkArgumentNumber, checkForNonVariableArguments, checkForUnboundArguments, checkForUnboundArguments, checkForUnboundArguments, checkForUnboundNonFirstArguments, checkNumberOfArgumentsAtLeast, checkNumberOfArgumentsAtLeastOne, checkNumberOfArgumentsAtMost, checkNumberOfArgumentsEqualTo, checkNumberOfArgumentsInRange, checkThatAllArgumentsAreBound, checkThatAllArgumentsAreDataValues, checkThatAllArgumentsAreFloats, checkThatAllArgumentsAreIntegers, checkThatAllArgumentsAreNumeric, checkThatAllArgumentsAreOfAnOrderedType, checkThatAllArgumentsAreStrings, checkThatArgumentIsABoolean, checkThatArgumentIsAClass, checkThatArgumentIsAClassPropertyOrIndividual, checkThatArgumentIsADataProperty, checkThatArgumentIsADataValue, checkThatArgumentIsADataValue, checkThatArgumentIsADouble, checkThatArgumentIsAFloat, checkThatArgumentIsALong, checkThatArgumentIsAnIndividual, checkThatArgumentIsAnInteger, checkThatArgumentIsAnObjectProperty, checkThatArgumentIsAProperty, checkThatArgumentIsAString, checkThatArgumentIsBound, checkThatArgumentIsNonNumeric, checkThatArgumentIsNumeric, checkThatArgumentIsOfAnOrderedType, checkThatInAntecedent, checkThatInConsequent, copyArguments, createClassArgument, createCollectionArgument, createDataPropertyArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createDataValueArgument, createIndividualArgument, createInvocationPattern, createMultiArgument, createMultiArgument, createObjectPropertyArgument, getArgumentAsABoolean, getArgumentAsAClass, getArgumentAsAClassURI, getArgumentAsADataProperty, getArgumentAsADataValue, getArgumentAsADataValue, getArgumentAsADouble, getArgumentAsADouble, getArgumentAsAFloat, getArgumentAsAFloat, getArgumentAsALong, getArgumentAsAnIndividual, getArgumentAsAnIndividualURI, getArgumentAsAnInteger, getArgumentAsAnObjectProperty, getArgumentAsAPositiveInteger, getArgumentAsAPositiveLong, getArgumentAsAProperty, getArgumentAsAPropertyURI, getArgumentAsAPropertyValue, getArgumentAsAShort, getArgumentAsAString, getArgumentAsAURI, getBuiltInBridge, getFirstUnboundArgument, getInvokingBuiltInIndex, getInvokingRuleName, getIsInConsequent, getLibraryName, getVariableName, hasUnboundArguments, invokeBuiltInMethod, invokeResetMethod, isArgumentABoolean, isArgumentAClass, isArgumentAClassPropertyOrIndividual, isArgumentADataProperty, isArgumentADatatypeValue, isArgumentADataValue, isArgumentADouble, isArgumentAFloat, isArgumentALong, isArgumentAnIndividual, isArgumentAnInteger, isArgumentAnObjectProperty, isArgumentAProperty, isArgumentAShort, isArgumentAString, isArgumentConvertableToDouble, isArgumentConvertableToFloat, isArgumentConvertableToInteger, isArgumentConvertableToLong, isArgumentConvertableToShort, isArgumentNonNumeric, isArgumentNumeric, isArgumentOfAnOrderedType, isBoundArgument, isFloatMostPreciseArgument, isIntegerMostPreciseArgument, isLongMostPreciseArgument, isShortMostPreciseArgument, isUnboundArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument, processResultArgument

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 interface SWRLBuiltInLibrary

Specified by:

reset in class AbstractSWRLBuiltInLibrary

isIndividual

public boolean isIndividual(List<BuiltInArgument> 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

hasValue

public boolean hasValue(List<BuiltInArgument> arguments)
                 throws BuiltInException

Returns true if the individual named by the first argument has a property specified by the second argument with the value specified by the third argument. If the third argument in unbound, bind it to all the values for this property for the specified individual.

Throws:

BuiltInException

hasProperty

public boolean hasProperty(List<BuiltInArgument> arguments)
                    throws BuiltInException

Returns true if the individual named by the first argument has a property specified by the second argument. If the second argument in unbound, bind it to all the properties that currently have a value for this individual.

Throws:

BuiltInException

hasIndividual

public boolean hasIndividual(List<BuiltInArgument> 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<BuiltInArgument> 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<BuiltInArgument> 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

hasNumberOfPropertyValues

public boolean hasNumberOfPropertyValues(List<BuiltInArgument> arguments)
                                  throws BuiltInException

Returns true if the individual named by the second argument has the number of values specified by the first argument of the property specified by the third argument.

Throws:

BuiltInException

isLiteral

public boolean isLiteral(List<BuiltInArgument> arguments)
                  throws BuiltInException

Throws:

BuiltInException

notLiteral

public boolean notLiteral(List<BuiltInArgument> arguments)
                   throws BuiltInException

Throws:

BuiltInException

isNumeric

public boolean isNumeric(List<BuiltInArgument> arguments)
                  throws BuiltInException

Throws:

BuiltInException

notNumeric

public boolean notNumeric(List<BuiltInArgument> arguments)
                   throws BuiltInException

Throws:

BuiltInException