|
Protégé-OWL 3.3.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.stanford.smi.protegex.owl.swrl.bridge.builtins.SWRLBuiltInLibrary
edu.stanford.smi.protegex.owl.swrl.bridge.builtins.tbox.SWRLBuiltInLibraryImpl
public class SWRLBuiltInLibraryImpl
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 |
---|
public SWRLBuiltInLibraryImpl()
Method Detail |
---|
public void reset()
reset
in class SWRLBuiltInLibrary
public boolean isProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isObjectProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isDatatypeProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isClass(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isTransitiveProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isSymmetricProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isFunctionalProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isAnnotationProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isInverseFunctionalProperty(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isEquivalentTo(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isDisjointWith(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSubPropertyOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isSubPropertyOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSuperPropertyOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isSuperPropertyOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSubClassOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isSubClassOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSuperClassOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isSuperClassOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isInRangeOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isInDirectRangeOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isInDomainOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean isInDirectDomainOf(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean sameAs(List<Argument> arguments) throws BuiltInException
BuiltInException
public boolean differentFrom(List<Argument> arguments) throws BuiltInException
BuiltInException
|
Protégé-OWL 3.3.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |