Protégé-OWL 3.4

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

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.swrl.bridge.builtins.AbstractSWRLBuiltInLibrary
      extended by edu.stanford.smi.protegex.owl.swrl.bridge.builtins.tbox.SWRLBuiltInLibraryImpl
All Implemented Interfaces:
SWRLBuiltInLibrary

public class SWRLBuiltInLibraryImpl
extends AbstractSWRLBuiltInLibrary

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

SWRLBuiltInLibraryImpl

public SWRLBuiltInLibraryImpl()
Method Detail

reset

public void reset()
Specified by:
reset in interface SWRLBuiltInLibrary
Specified by:
reset in class AbstractSWRLBuiltInLibrary

hasAnnotation

public boolean hasAnnotation(List<BuiltInArgument> arguments)
                      throws BuiltInException
Is the second annotation property argument associated with the first ontology, class, property or individual argument. If the second argument is unbound, bind it to the annotation properties associated with the first argument (if any exist).

Throws:
BuiltInException

hasCardinality

public boolean hasCardinality(List<BuiltInArgument> arguments)
                       throws BuiltInException
It the second integer argument equal to the cardinality specified by the first owl:Cardinality, owl:MaxCardinality, or owl:MinCardinality restriction argument. If the second argument is unbound, bind it to the cardinality value.

Throws:
BuiltInException

hasComment

public boolean hasComment(List<BuiltInArgument> arguments)
                   throws BuiltInException
Is the second string argument the value specified by the first rdfs:comment annotation property argument. If the second argument is unbound, bind it to the value specified by the first rdfs:comment annotation property argument.

Throws:
BuiltInException

hasDescription

public boolean hasDescription(List<BuiltInArgument> arguments)
                       throws BuiltInException
Is the second description argument associated with the first class or individual argument. If the second argument is unbound, bind it to the descriptions associated with the first argument (if any exist).

Throws:
BuiltInException

hasIsDefinedBy

public boolean hasIsDefinedBy(List<BuiltInArgument> arguments)
                       throws BuiltInException
Is the second resource argument the value specified by the first rdfs:isDefinedBy annotation property argument. If the second argument is unbound, bind it to the value specified by the first rdfs:isDefinedBy annotation property argument.

Throws:
BuiltInException

hasLabel

public boolean hasLabel(List<BuiltInArgument> arguments)
                 throws BuiltInException
Is the second string argument the value specified by the first rdfs:label annotation property argument. If the second argument is unbound, bind it to the value specified by the first rdfs:label annotation property argument.

Throws:
BuiltInException

hasSeeAlso

public boolean hasSeeAlso(List<BuiltInArgument> arguments)
                   throws BuiltInException
Is the second resource argument the value specified by the first rdfs:seeAlso annotation property argument. If the second argument is unbound, bind it to the value specified by the first rdfs:seeAlso annotation property argument.

Throws:
BuiltInException

hasVersionInfo

public boolean hasVersionInfo(List<BuiltInArgument> arguments)
                       throws BuiltInException
Is the second string argument the value specified by the first rdfs:versionInfo annotation property argument. If the second argument is unbound, bind it to the value specified by the first rdfs:versionInfo annotation property argument.

Throws:
BuiltInException

isAllDifferents

public boolean isAllDifferents(List<BuiltInArgument> arguments)
                        throws BuiltInException
Are all individual arguments declared to be the different from each other.

Throws:
BuiltInException

isAllDifferentsAxiom

public boolean isAllDifferentsAxiom(List<BuiltInArgument> arguments)
                             throws BuiltInException
Is the single argument an owl:AllDifferentsAxiom.

Throws:
BuiltInException

isAllValuesFromRestriction

public boolean isAllValuesFromRestriction(List<BuiltInArgument> arguments)
                                   throws BuiltInException
Is the single argument an owl:AllValuesFrom restriction.

Throws:
BuiltInException

isAnnotation

public boolean isAnnotation(List<BuiltInArgument> arguments)
                     throws BuiltInException
Is the single argument an annotation property.

Throws:
BuiltInException

isCardinalityRestriction

public boolean isCardinalityRestriction(List<BuiltInArgument> arguments)
                                 throws BuiltInException
Is the single argument an owl:Cardinality restriction.

Throws:
BuiltInException

isClass

public boolean isClass(List<BuiltInArgument> arguments)
                throws BuiltInException
Determine if a single argument is an OWL named class. If the argument is unbound, bind it to all OWL named classes in an ontology.

Throws:
BuiltInException

isClassDescription

public boolean isClassDescription(List<BuiltInArgument> arguments)
                           throws BuiltInException
Is the single argument an OWL class description.

Throws:
BuiltInException

isCommentAnnotation

public boolean isCommentAnnotation(List<BuiltInArgument> arguments)
                            throws BuiltInException
Is the single argument an rdfs:comment annotation.

Throws:
BuiltInException

isComplementOf

public boolean isComplementOf(List<BuiltInArgument> arguments)
                       throws BuiltInException
Is the first class argument the complement of the second class argument. If the second argument is unbound, bind it to the complement of the first argument.

Throws:
BuiltInException

isComplementOfClassDescription

public boolean isComplementOfClassDescription(List<BuiltInArgument> arguments)
                                       throws BuiltInException
Is the single argument an owl:ComplementOf class description.

Throws:
BuiltInException

isDatatypeProperty

public boolean isDatatypeProperty(List<BuiltInArgument> arguments)
                           throws BuiltInException
Determine if the single argument is an OWL datatype property. If the argument is unbound, bind it to all OWL datatype properties in an ontology.

Throws:
BuiltInException

isDefinedBy

public boolean isDefinedBy(List<BuiltInArgument> arguments)
                    throws BuiltInException
Is the single argument an rdfs:isDefinedBy annotation.

Throws:
BuiltInException

isDifferentFromAxiom

public boolean isDifferentFromAxiom(List<BuiltInArgument> arguments)
                             throws BuiltInException
Is the single argument an owl:DifferentFrom axiom.

Throws:
BuiltInException

isDirectSubClassOf

public boolean isDirectSubClassOf(List<BuiltInArgument> arguments)
                           throws BuiltInException
Check that the second class argument is a direct subclass of the first class argument. If the second argument is unbound, bind it to the direct subclasses of the first argument (if any exist).

Throws:
BuiltInException

isDirectSubPropertyOf

public boolean isDirectSubPropertyOf(List<BuiltInArgument> arguments)
                              throws BuiltInException
Determine if the second property argument is a direct subproperty of the first property argument. If the second argument is unbound, bind it to the direct sub properties of the first argument (if any exist).

Throws:
BuiltInException

isDirectSuperClassOf

public boolean isDirectSuperClassOf(List<BuiltInArgument> arguments)
                             throws BuiltInException
Check that the second class argument is a direct superclass of the first class argument. If the second argument is unbound, bind it to the direct superclasses of the first argument (if any exist).

Throws:
BuiltInException

isDirectSuperPropertyOf

public boolean isDirectSuperPropertyOf(List<BuiltInArgument> arguments)
                                throws BuiltInException
Determine if the second property argument is a direct superproperty of the first property argument. If the second argument is unbound, bind it to the direct super properties of the first argument (if any exist).

Throws:
BuiltInException

isDisjointWith

public boolean isDisjointWith(List<BuiltInArgument> arguments)
                       throws BuiltInException
Determine if the two class arguments represent classes or properties that are disjoint with each other. If the second argument is unbound, bind it to the disjoint classes of the first argument (if any exist).

Throws:
BuiltInException

isDisjointWithAxiom

public boolean isDisjointWithAxiom(List<BuiltInArgument> arguments)
                            throws BuiltInException
Is the single argument an owl:DisjointWith axiom.

Throws:
BuiltInException

isEnumeratedDatatypeAxiom

public boolean isEnumeratedDatatypeAxiom(List<BuiltInArgument> arguments)
                                  throws BuiltInException
Is the single argument an enumerated datatype axiom.

Throws:
BuiltInException

isEquivalentClass

public boolean isEquivalentClass(List<BuiltInArgument> arguments)
                          throws BuiltInException
Determine if the two class arguments are equivalent to each other. If the second argument is unbound, bind it to the equivalent classes of the first argument (if any exist).

Throws:
BuiltInException

isEquivalentClassAxiom

public boolean isEquivalentClassAxiom(List<BuiltInArgument> arguments)
                               throws BuiltInException
Is the single argument an owl:EquivalentClass axiom.

Throws:
BuiltInException

isEquivalentProperty

public boolean isEquivalentProperty(List<BuiltInArgument> arguments)
                             throws BuiltInException
Determine if the two property arguments are equivalent to each other. If the second argument is unbound, bind it to the equivalent properties of the first argument (if any exist).

Throws:
BuiltInException

isEquivalentPropertyAxiom

public boolean isEquivalentPropertyAxiom(List<BuiltInArgument> arguments)
                                  throws BuiltInException
Is the single argument an owl:EquivalentProperty axiom.

Throws:
BuiltInException

isFunctionalProperty

public boolean isFunctionalProperty(List<BuiltInArgument> arguments)
                             throws BuiltInException
Determine if a single property argument is functional.

Throws:
BuiltInException

isFunctionalPropertyAxiom

public boolean isFunctionalPropertyAxiom(List<BuiltInArgument> arguments)
                                  throws BuiltInException
Is the single argument an owl:functionalProperty axiom.

Throws:
BuiltInException

isHasValueRestriction

public boolean isHasValueRestriction(List<BuiltInArgument> arguments)
                              throws BuiltInException
Is the single argument an owl:hasValue restriction

Throws:
BuiltInException

isInDirectDomainOf

public boolean isInDirectDomainOf(List<BuiltInArgument> arguments)
                           throws BuiltInException
Check that the first class argument is in the domain of the second property argument (excluding its superproperties). If the first argument is unbound and the second argument is bound, bind the first argument to the domain(s) of the second property argument (if any exist). If the first class argument is bound and the second argument is unbound, bind the second argument to the properties that have the class in their domain (if any). An error is thrown if both arguments are unbound.

Throws:
BuiltInException

isInDirectRangeOf

public boolean isInDirectRangeOf(List<BuiltInArgument> arguments)
                          throws BuiltInException
Check that the first class argument is in the range of the second property argument excluding its superproperties. If the first argument is unbound, bind it to the range of the second argument (if any exist).

Throws:
BuiltInException

isInDomainOf

public boolean isInDomainOf(List<BuiltInArgument> arguments)
                     throws BuiltInException
Check that the first class argument is in the domain of the second property argument (including its superproperties). If the first argument is unbound and the second argument is bound, bind the first argument to the domain(s) of the second property argument (if any exist). If the first class argument is bound and the second argument is unbound, bind the second argument to the properties that have the class in their domain (if any). An error is thrown if both arguments are unbound.

Throws:
BuiltInException

isInDomainOfAxiom

public boolean isInDomainOfAxiom(List<BuiltInArgument> arguments)
                          throws BuiltInException
Is the single argument an OWL domain axiom.

Throws:
BuiltInException

isInRangeOf

public boolean isInRangeOf(List<BuiltInArgument> arguments)
                    throws BuiltInException
Check that the first class argument is in the range of the second property argument (including its superproperties). If the first argument is unbound, bind it to the range of the second argument (if any exist).

Throws:
BuiltInException

isInRangeOfAxiom

public boolean isInRangeOfAxiom(List<BuiltInArgument> arguments)
                         throws BuiltInException
Is the single argument an OWL range axiom.

Throws:
BuiltInException

isIntersectionOfDescription

public boolean isIntersectionOfDescription(List<BuiltInArgument> arguments)
                                    throws BuiltInException
Is the single argument an owl:InteresctionOf class description.

Throws:
BuiltInException

isInverseFunctionalPropertyAxiom

public boolean isInverseFunctionalPropertyAxiom(List<BuiltInArgument> arguments)
                                         throws BuiltInException
Is the single argument an owl:InverseFunctionalProperty axiom.

Throws:
BuiltInException

isInverseOf

public boolean isInverseOf(List<BuiltInArgument> arguments)
                    throws BuiltInException
Determine if the second property argument is the inverse of the first property argument.

Throws:
BuiltInException

isInverseFunctionalProperty

public boolean isInverseFunctionalProperty(List<BuiltInArgument> arguments)
                                    throws BuiltInException
Determine if a single property argument is inverse functional.

Throws:
BuiltInException

isInverseOfAxiom

public boolean isInverseOfAxiom(List<BuiltInArgument> arguments)
                         throws BuiltInException
Is the single argument an owl:inverseOf axiom.

Throws:
BuiltInException

isLabelAnnotation

public boolean isLabelAnnotation(List<BuiltInArgument> arguments)
                          throws BuiltInException
Is the single argument an rdfs:label annotation.

Throws:
BuiltInException

isMaxCardinalityRestriction

public boolean isMaxCardinalityRestriction(List<BuiltInArgument> arguments)
                                    throws BuiltInException
Is the single argument an owl:MaxCardinality restriction.

Throws:
BuiltInException

isMinCardinalityRestriction

public boolean isMinCardinalityRestriction(List<BuiltInArgument> arguments)
                                    throws BuiltInException
Is the single argument an owl:MinCardinality restriction.

Throws:
BuiltInException

isObjectProperty

public boolean isObjectProperty(List<BuiltInArgument> arguments)
                         throws BuiltInException
Determine if a single argument is an OWL object property. If the argument is unbound, bind it to all OWL object properties in an ontology.

Throws:
BuiltInException

isOneOfClassDescription

public boolean isOneOfClassDescription(List<BuiltInArgument> arguments)
                                throws BuiltInException
Is the single argument an owl:oneOf class description.

Throws:
BuiltInException

isOntology

public boolean isOntology(List<BuiltInArgument> arguments)
                   throws BuiltInException
Is the single argument an owl:Ontology resource. If the argument is unbound, bind it to the current ontology.

Throws:
BuiltInException

isProperty

public boolean isProperty(List<BuiltInArgument> arguments)
                   throws BuiltInException
Determine if a single property argument is an OWL property. If the argument is unbound, bind it to all OWL properties in an ontology.

Throws:
BuiltInException

isSeeAlsoAnnotation

public boolean isSeeAlsoAnnotation(List<BuiltInArgument> arguments)
                            throws BuiltInException
Is the single argument an rdfs:seeAlso annotation.

Throws:
BuiltInException

isSameAsAxiom

public boolean isSameAsAxiom(List<BuiltInArgument> arguments)
                      throws BuiltInException
Is the single argument an owl:SameAs axiom.

Throws:
BuiltInException

isSubClassOf

public boolean isSubClassOf(List<BuiltInArgument> arguments)
                     throws BuiltInException
Check that the first class argument is a subclass of the second class argument. If the first argument is unbound, bind it to the subclasses of the second argument (if any exist).

Throws:
BuiltInException

isSubPropertyOf

public boolean isSubPropertyOf(List<BuiltInArgument> arguments)
                        throws BuiltInException
Determine if the first property argument is a subproperty of the second property argument. If the first argument is unbound, bind it to the sub properties of the second argument (if any exist).

Throws:
BuiltInException

isSuperClassOf

public boolean isSuperClassOf(List<BuiltInArgument> arguments)
                       throws BuiltInException
Check that the first class argument is a superclass of the second class argument. If the first argument is unbound, bind it to the superclasses of the second argument (if any exist).

Throws:
BuiltInException

isSuperPropertyOf

public boolean isSuperPropertyOf(List<BuiltInArgument> arguments)
                          throws BuiltInException
Determine if the first property argument is a superproperty of the second property argument. If the first argument is unbound, bind it to the super properties of the second argument (if any exist).

Throws:
BuiltInException

isSymmetricProperty

public boolean isSymmetricProperty(List<BuiltInArgument> arguments)
                            throws BuiltInException
Determine if a single property argument is symmetric.

Throws:
BuiltInException

isSymmetricPropertyAxiom

public boolean isSymmetricPropertyAxiom(List<BuiltInArgument> arguments)
                                 throws BuiltInException
Is the single argument an owl:SymmetricProperty axiom.

Throws:
BuiltInException

isTransitiveProperty

public boolean isTransitiveProperty(List<BuiltInArgument> arguments)
                             throws BuiltInException
Determine if a single property argument is transitive.

Throws:
BuiltInException

isTransitivePropertyAxiom

public boolean isTransitivePropertyAxiom(List<BuiltInArgument> arguments)
                                  throws BuiltInException
Is the single argument an owl:TransitiveProperty axiom.

Throws:
BuiltInException

isRestriction

public boolean isRestriction(List<BuiltInArgument> arguments)
                      throws BuiltInException
Throws:
BuiltInException

isUnionOfDescription

public boolean isUnionOfDescription(List<BuiltInArgument> arguments)
                             throws BuiltInException
Is the single argument an owl:UnionOf class description.

Throws:
BuiltInException

isVersionInfoAnnotation

public boolean isVersionInfoAnnotation(List<BuiltInArgument> arguments)
                                throws BuiltInException
Is the single argument an owl:versionInfo annotation.

Throws:
BuiltInException

onClassDescription

public boolean onClassDescription(List<BuiltInArgument> arguments)
                           throws BuiltInException
It the second class description argument a subject of the first axiom argument. If the second argument is unbound, bind it to the the axiom's subject(s).

Throws:
BuiltInException

onIndividual

public boolean onIndividual(List<BuiltInArgument> arguments)
                     throws BuiltInException
It the second individual argument a subject of the first individual axiom argument. If the second argument is unbound, bind it to the individual axiom's subject(s).

Throws:
BuiltInException

isSomeValuesFrom

public boolean isSomeValuesFrom(List<BuiltInArgument> arguments)
                         throws BuiltInException
It the second property argument a subject of the first property axiom argument. If the second argument is unbound, bind it to the property axiom's subject(s).

Throws:
BuiltInException

onValue

public boolean onValue(List<BuiltInArgument> arguments)
                throws BuiltInException
It the second datatype value argument a subject of the first datatype axiom argument. If the second argument is unbound, bind it to the data value axiom's subject(s).

Throws:
BuiltInException

equalTo

public boolean equalTo(List<BuiltInArgument> arguments)
                throws BuiltInException
Check that the two class or property arguments refer to the same underlying entity.

Throws:
BuiltInException

notEqualTo

public boolean notEqualTo(List<BuiltInArgument> arguments)
                   throws BuiltInException
Check that the two class or property arguments do not refer to the same underlying entity.

Throws:
BuiltInException

Protégé-OWL 3.4

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