|
Protégé-OWL 3.4.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.AbstractSWRLBuiltInLibrary
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 |
equalTo(List<BuiltInArgument> arguments)
Check that the two class or property arguments refer to the same underlying entity. |
boolean |
hasAnnotation(List<BuiltInArgument> arguments)
Is the second annotation property argument associated with the first ontology, class, property or individual argument. |
boolean |
hasCardinality(List<BuiltInArgument> arguments)
It the second integer argument equal to the cardinality specified by the first owl:Cardinality, owl:MaxCardinality, or owl:MinCardinality restriction argument. |
boolean |
hasComment(List<BuiltInArgument> arguments)
Is the second string argument the value specified by the first rdfs:comment annotation property argument. |
boolean |
hasDescription(List<BuiltInArgument> arguments)
Is the second description argument associated with the first class or individual argument. |
boolean |
hasIsDefinedBy(List<BuiltInArgument> arguments)
Is the second resource argument the value specified by the first rdfs:isDefinedBy annotation property argument. |
boolean |
hasLabel(List<BuiltInArgument> arguments)
Is the second string argument the value specified by the first rdfs:label annotation property argument. |
boolean |
hasSeeAlso(List<BuiltInArgument> arguments)
Is the second resource argument the value specified by the first rdfs:seeAlso annotation property argument. |
boolean |
hasVersionInfo(List<BuiltInArgument> arguments)
Is the second string argument the value specified by the first rdfs:versionInfo annotation property argument. |
boolean |
isAllDifferents(List<BuiltInArgument> arguments)
Are all individual arguments declared to be the different from each other. |
boolean |
isAllDifferentsAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:AllDifferentsAxiom. |
boolean |
isAllValuesFromRestriction(List<BuiltInArgument> arguments)
Is the single argument an owl:AllValuesFrom restriction. |
boolean |
isAnnotation(List<BuiltInArgument> arguments)
Is the single argument an annotation property. |
boolean |
isCardinalityRestriction(List<BuiltInArgument> arguments)
Is the single argument an owl:Cardinality restriction. |
boolean |
isClass(List<BuiltInArgument> arguments)
Determine if a single argument is an OWL named class. |
boolean |
isClassDescription(List<BuiltInArgument> arguments)
Is the single argument an OWL class description. |
boolean |
isCommentAnnotation(List<BuiltInArgument> arguments)
Is the single argument an rdfs:comment annotation. |
boolean |
isComplementOf(List<BuiltInArgument> arguments)
Is the first class argument the complement of the second class argument. |
boolean |
isComplementOfClassDescription(List<BuiltInArgument> arguments)
Is the single argument an owl:ComplementOf class description. |
boolean |
isDatatypeProperty(List<BuiltInArgument> arguments)
Determine if the single argument is an OWL datatype property. |
boolean |
isDefinedBy(List<BuiltInArgument> arguments)
Is the single argument an rdfs:isDefinedBy annotation. |
boolean |
isDifferentFromAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:DifferentFrom axiom. |
boolean |
isDirectSubClassOf(List<BuiltInArgument> arguments)
Check that the second class argument is a direct subclass of the first class argument. |
boolean |
isDirectSubPropertyOf(List<BuiltInArgument> arguments)
Determine if the second property argument is a direct subproperty of the first property argument. |
boolean |
isDirectSuperClassOf(List<BuiltInArgument> arguments)
Check that the second class argument is a direct superclass of the first class argument. |
boolean |
isDirectSuperPropertyOf(List<BuiltInArgument> arguments)
Determine if the second property argument is a direct superproperty of the first property argument. |
boolean |
isDisjointWith(List<BuiltInArgument> arguments)
Determine if the two class arguments represent classes or properties that are disjoint with each other. |
boolean |
isDisjointWithAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:DisjointWith axiom. |
boolean |
isEnumeratedDatatypeAxiom(List<BuiltInArgument> arguments)
Is the single argument an enumerated datatype axiom. |
boolean |
isEquivalentClass(List<BuiltInArgument> arguments)
Determine if the two class arguments are equivalent to each other. |
boolean |
isEquivalentClassAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:EquivalentClass axiom. |
boolean |
isEquivalentProperty(List<BuiltInArgument> arguments)
Determine if the two property arguments are equivalent to each other. |
boolean |
isEquivalentPropertyAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:EquivalentProperty axiom. |
boolean |
isFunctionalProperty(List<BuiltInArgument> arguments)
Determine if a single property argument is functional. |
boolean |
isFunctionalPropertyAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:functionalProperty axiom. |
boolean |
isHasValueRestriction(List<BuiltInArgument> arguments)
Is the single argument an owl:hasValue restriction |
boolean |
isInDirectDomainOf(List<BuiltInArgument> arguments)
Check that the first class argument is in the domain of the second property argument (excluding its superproperties). |
boolean |
isInDirectRangeOf(List<BuiltInArgument> arguments)
Check that the first class argument is in the range of the second property argument excluding its superproperties. |
boolean |
isInDomainOf(List<BuiltInArgument> arguments)
Check that the first class argument is in the domain of the second property argument (including its superproperties). |
boolean |
isInDomainOfAxiom(List<BuiltInArgument> arguments)
Is the single argument an OWL domain axiom. |
boolean |
isInRangeOf(List<BuiltInArgument> arguments)
Check that the first class argument is in the range of the second property argument (including its superproperties). |
boolean |
isInRangeOfAxiom(List<BuiltInArgument> arguments)
Is the single argument an OWL range axiom. |
boolean |
isIntersectionOfDescription(List<BuiltInArgument> arguments)
Is the single argument an owl:InteresctionOf class description. |
boolean |
isInverseFunctionalProperty(List<BuiltInArgument> arguments)
Determine if a single property argument is inverse functional. |
boolean |
isInverseFunctionalPropertyAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:InverseFunctionalProperty axiom. |
boolean |
isInverseOf(List<BuiltInArgument> arguments)
Determine if the second property argument is the inverse of the first property argument. |
boolean |
isInverseOfAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:inverseOf axiom. |
boolean |
isLabelAnnotation(List<BuiltInArgument> arguments)
Is the single argument an rdfs:label annotation. |
boolean |
isMaxCardinalityRestriction(List<BuiltInArgument> arguments)
Is the single argument an owl:MaxCardinality restriction. |
boolean |
isMinCardinalityRestriction(List<BuiltInArgument> arguments)
Is the single argument an owl:MinCardinality restriction. |
boolean |
isObjectProperty(List<BuiltInArgument> arguments)
Determine if a single argument is an OWL object property. |
boolean |
isOneOfClassDescription(List<BuiltInArgument> arguments)
Is the single argument an owl:oneOf class description. |
boolean |
isOntology(List<BuiltInArgument> arguments)
Is the single argument an owl:Ontology resource. |
boolean |
isProperty(List<BuiltInArgument> arguments)
Determine if a single property argument is an OWL property. |
boolean |
isRestriction(List<BuiltInArgument> arguments)
|
boolean |
isSameAsAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:SameAs axiom. |
boolean |
isSeeAlsoAnnotation(List<BuiltInArgument> arguments)
Is the single argument an rdfs:seeAlso annotation. |
boolean |
isSomeValuesFrom(List<BuiltInArgument> arguments)
It the second property argument a subject of the first property axiom argument. |
boolean |
isSubClassOf(List<BuiltInArgument> arguments)
Check that the first class argument is a subclass of the second class argument. |
boolean |
isSubPropertyOf(List<BuiltInArgument> arguments)
Determine if the first property argument is a subproperty of the second property argument. |
boolean |
isSuperClassOf(List<BuiltInArgument> arguments)
Check that the first class argument is a superclass of the second class argument. |
boolean |
isSuperPropertyOf(List<BuiltInArgument> arguments)
Determine if the first property argument is a superproperty of the second property argument. |
boolean |
isSymmetricProperty(List<BuiltInArgument> arguments)
Determine if a single property argument is symmetric. |
boolean |
isSymmetricPropertyAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:SymmetricProperty axiom. |
boolean |
isTransitiveProperty(List<BuiltInArgument> arguments)
Determine if a single property argument is transitive. |
boolean |
isTransitivePropertyAxiom(List<BuiltInArgument> arguments)
Is the single argument an owl:TransitiveProperty axiom. |
boolean |
isUnionOfDescription(List<BuiltInArgument> arguments)
Is the single argument an owl:UnionOf class description. |
boolean |
isVersionInfoAnnotation(List<BuiltInArgument> arguments)
Is the single argument an owl:versionInfo annotation. |
boolean |
notEqualTo(List<BuiltInArgument> arguments)
Check that the two class or property arguments do not refer to the same underlying entity. |
boolean |
onClassDescription(List<BuiltInArgument> arguments)
It the second class description argument a subject of the first axiom argument. |
boolean |
onIndividual(List<BuiltInArgument> arguments)
It the second individual argument a subject of the first individual axiom argument. |
boolean |
onValue(List<BuiltInArgument> arguments)
It the second datatype value argument a subject of the first datatype axiom argument. |
void |
reset()
|
Methods inherited from class edu.stanford.smi.protegex.owl.swrl.bridge.builtins.AbstractSWRLBuiltInLibrary |
---|
getInvokingBridge, getInvokingBuiltInIndex, getInvokingRuleName, getIsInConsequent, 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 interface SWRLBuiltInLibrary
reset
in class AbstractSWRLBuiltInLibrary
public boolean hasAnnotation(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasCardinality(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasComment(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasIsDefinedBy(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasLabel(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasSeeAlso(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean hasVersionInfo(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isAllDifferents(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isAllDifferentsAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isAllValuesFromRestriction(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isAnnotation(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isCardinalityRestriction(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isClass(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isClassDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isCommentAnnotation(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isComplementOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isComplementOfClassDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDatatypeProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDefinedBy(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDifferentFromAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSubClassOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSubPropertyOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSuperClassOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDirectSuperPropertyOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDisjointWith(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isDisjointWithAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isEnumeratedDatatypeAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isEquivalentClass(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isEquivalentClassAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isEquivalentProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isEquivalentPropertyAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isFunctionalProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isFunctionalPropertyAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isHasValueRestriction(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInDirectDomainOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInDirectRangeOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInDomainOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInDomainOfAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInRangeOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInRangeOfAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isIntersectionOfDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInverseFunctionalPropertyAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInverseOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInverseFunctionalProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isInverseOfAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isLabelAnnotation(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isMaxCardinalityRestriction(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isMinCardinalityRestriction(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isObjectProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isOneOfClassDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isOntology(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSeeAlsoAnnotation(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSameAsAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSubClassOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSubPropertyOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSuperClassOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSuperPropertyOf(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSymmetricProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSymmetricPropertyAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isTransitiveProperty(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isTransitivePropertyAxiom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isRestriction(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isUnionOfDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isVersionInfoAnnotation(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean onClassDescription(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean onIndividual(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean isSomeValuesFrom(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean onValue(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean equalTo(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
public boolean notEqualTo(List<BuiltInArgument> arguments) throws BuiltInException
BuiltInException
|
Protégé-OWL 3.4.1 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |