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

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

All Implemented Interfaces:

SWRLBuiltInLibrary

public class SWRLBuiltInLibraryImpl
extends AbstractSWRLBuiltInLibrary

Implementations library for SWRL Extensions 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	createOWLThing(List<BuiltInArgument> arguments)
boolean	invokeSWRLBuiltIn(List<BuiltInArgument> arguments)
boolean	makeOWLClass(List<BuiltInArgument> arguments) For every pattern of second and subsequent arguments, create an OWL anonymous class and bind it to the first argument.
boolean	makeOWLIndividual(List<BuiltInArgument> arguments) For every pattern of second and subsequent arguments, create an OWL individual of type OWL:Thing and bind it to the first argument.
boolean	makeOWLThing(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

makeOWLClass

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

For every pattern of second and subsequent arguments, create an OWL anonymous class and bind it to the first argument. If the first argument is already bound when the built-in is called, this method returns true.

Throws:

BuiltInException

makeOWLIndividual

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

For every pattern of second and subsequent arguments, create an OWL individual of type OWL:Thing and bind it to the first argument. If the first argument is already bound when the built-in is called, this method returns true.

Throws:

BuiltInException

makeOWLThing

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

Throws:

BuiltInException

createOWLThing

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

Throws:

BuiltInException

invokeSWRLBuiltIn

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

Throws:

BuiltInException