_ |
top |
_getRestrictionStatement | in file OWLClass.php, method OWLClass::_getRestrictionStatement() |
__construct | in file OWLModel.php, method OWLModel::__construct() The (new PHP5) constructor for this class. |
a |
top |
addAllDifferent | in file OWLModel.php, method OWLModel::addAllDifferent() |
addDatatypeProperty | in file OWLModel.php, method OWLModel::addDatatypeProperty() |
addDomainToUnionClass | in file OWLProperty.php, method OWLProperty::addDomainToUnionClass() OWLProperty::addDomainToUnionClass() |
addObjectProperty | in file OWLModel.php, method OWLModel::addObjectProperty() |
addRangeToUnionClass | in file OWLProperty.php, method OWLProperty::addRangeToUnionClass() |
d |
top |
domainIsUnionClass | in file OWLProperty.php, method OWLProperty::domainIsUnionClass() Checks whether the domain of this property is an union class description. |
g |
top |
getAllDifferent | in file OWLModel.php, method OWLModel::getAllDifferent() |
getCardinalityMax | in file OWLClass.php, method OWLClass::getCardinalityMax() Returns the maximum cardinality of a property. |
getCardinalityMaxInherited | in file OWLClass.php, method OWLClass::getCardinalityMaxInherited() Returns the maximum cardinality of a property or a maximum cardinality for that property inherited from a superclass. |
getCardinalityMin | in file OWLClass.php, method OWLClass::getCardinalityMin() Returns the minimum cardinality of a property. |
getCardinalityMinInherited | in file OWLClass.php, method OWLClass::getCardinalityMinInherited() Returns the minimum cardinality of a property or a minimum cardinality for that property inherited from a superclass. |
getRestriction | in file OWLClass.php, method OWLClass::getRestriction() |
getRestrictionAllValuesFrom | in file OWLClass.php, method OWLClass::getRestrictionAllValuesFrom() |
getRestrictionHasValue | in file OWLClass.php, method OWLClass::getRestrictionHasValue() |
getRestrictionSomeValuesFrom | in file OWLClass.php, method OWLClass::getRestrictionSomeValuesFrom() |
i |
top |
isAllValuesFromRestriction | in file OWLClass.php, method OWLClass::isAllValuesFromRestriction() |
isAnnotation | in file OWLProperty.php, method OWLProperty::isAnnotation() Checks if this property is of type owl:AnnotationProperty. |
isCardinalityRestriction | in file OWLClass.php, method OWLClass::isCardinalityRestriction() |
isDatatypeProperty | in file OWLProperty.php, method OWLProperty::isDatatypeProperty() Checks if this property is of type owl:DatatypeProperty. |
isFunctional | in file OWLProperty.php, method OWLProperty::isFunctional() Checks if this property is of type owl:FunctionalProperty. |
isHasValueRestriction | in file OWLClass.php, method OWLClass::isHasValueRestriction() |
isIntersection | in file OWLClass.php, method OWLClass::isIntersection() |
isInverseFunctional | in file OWLProperty.php, method OWLProperty::isInverseFunctional() Checks if this property is of type owl:InverseFunctionalProperty. |
isObjectProperty | in file OWLProperty.php, method OWLProperty::isObjectProperty() Checks if this property is of type owl:ObjectProperty. |
isSomeValuesFromRestriction | in file OWLClass.php, method OWLClass::isSomeValuesFromRestriction() |
isSymmetric | in file OWLProperty.php, method OWLProperty::isSymmetric() Checks if this property is of type owl:SymmetricProperty. |
isTransitive | in file OWLProperty.php, method OWLProperty::isTransitive() Checks if this property is of type owl:TransitiveProperty. |
l |
top |
listAllDifferentSets | in file OWLModel.php, method OWLModel::listAllDifferentSets() |
listBackwardCompatibleWith | in file OWLModel.php, method OWLModel::listBackwardCompatibleWith() TODO: beschreibung |
listComplementOf | in file OWLClass.php, method OWLClass::listComplementOf() |
listDatatypeProperties | in file OWLModel.php, method OWLModel::listDatatypeProperties() Returns the OWL_DatatypeProperties of the model |
listDisjointWith | in file OWLClass.php, method OWLClass::listDisjointWith() |
listDomainFromUnionClass | in file OWLProperty.php, method OWLProperty::listDomainFromUnionClass() |
listEquivalentClasses | in file OWLClass.php, method OWLClass::listEquivalentClasses() |
listEquivalentClassesInfered | in file OWLClass.php, method OWLClass::listEquivalentClassesInfered() |
listEquivalentProperties | in file OWLProperty.php, method OWLProperty::listEquivalentProperties() Returns an array of equivalent OWLProperties indexed by their local names. |
listFunctionalProperties | in file OWLModel.php, method OWLModel::listFunctionalProperties() Returns the functional properties of the model |
listIncompatibleWith | in file OWLModel.php, method OWLModel::listIncompatibleWith() TODO: beschreibung |
listIntersectionClasses | in file OWLModel.php, method OWLModel::listIntersectionClasses() |
listIntersectionOf | in file OWLClass.php, method OWLClass::listIntersectionOf() |
listIntersections | in file OWLClass.php, method OWLClass::listIntersections() Returns a list of nodes representing owl:intersectionOf lists the class is part of |
listInverseFunctionalProperties | in file OWLModel.php, method OWLModel::listInverseFunctionalProperties() Returns the inverse functional properties of the model |
listInverseOf | in file OWLProperty.php, method OWLProperty::listInverseOf() Returns an array of inverse OWLProperties indexed by their local names. |
listObjectProperties | in file OWLModel.php, method OWLModel::listObjectProperties() Returns the OWL_ObjectProperties of the model |
listPriorVersion | in file OWLModel.php, method OWLModel::listPriorVersion() TODO: beschreibung |
listRangeFromDataRange | in file OWLProperty.php, method OWLProperty::listRangeFromDataRange() |
listRangeFromUnionClass | in file OWLProperty.php, method OWLProperty::listRangeFromUnionClass() |
listRestrictions | in file OWLModel.php, method OWLModel::listRestrictions() |
listSubClassesInfered | in file OWLModel.php, method OWLModel::listSubClassesInfered() |
listSubClassesInfered | in file OWLClass.php, method OWLClass::listSubClassesInfered() |
listSuperClassesInfered | in file OWLClass.php, method OWLClass::listSuperClassesInfered() |
listTopClassesInfered | in file OWLModel.php, method OWLModel::listTopClassesInfered() |
listUnionOf | in file OWLClass.php, method OWLClass::listUnionOf() |
o |
top |
owlapi.php | procedural page owlapi.php |
OWLClass.php | procedural page OWLClass.php |
OWLInstance.php | procedural page OWLInstance.php |
OWLModel.php | procedural page OWLModel.php |
OWLProperty.php | procedural page OWLProperty.php |
OWLClass | in file OWLClass.php, class OWLClass OWLClass represents an OWL ontology node characterising a class description. |
OWLInstance | in file OWLInstance.php, class OWLInstance OWLInstance represents a simple instance (individual) of an OWLClass. |
OWLModel | in file OWLModel.php, method OWLModel::OWLModel() The (old PHP4) constructor for this class. |
OWLModel | in file OWLModel.php, class OWLModel OWLModel represents a owl based knowledge base. |
OWLProperty | in file OWLProperty.php, class OWLProperty OWLProperty represents a property which can be either a datatype property or a object property. |
r |
top |
rangeIsDataRange | in file OWLProperty.php, method OWLProperty::rangeIsDataRange() |
rangeIsUnionClass | in file OWLProperty.php, method OWLProperty::rangeIsUnionClass() Checks whether the range of this property is an union class description. |
RDFSAPI_INCLUDE_DIR | in file owlapi.php, constant RDFSAPI_INCLUDE_DIR |
removeAllDifferent | in file OWLModel.php, method OWLModel::removeAllDifferent() |
s |
top |
setAllDifferent | in file OWLModel.php, method OWLModel::setAllDifferent() |
setBackwardCompatibleWith | in file OWLModel.php, method OWLModel::setBackwardCompatibleWith() TODO: beschreibung |
setCardinality | in file OWLClass.php, method OWLClass::setCardinality() Sets the cardinality for a property. |
setCardinalityMax | in file OWLClass.php, method OWLClass::setCardinalityMax() Sets the maximum cardinality for a property. |
setCardinalityMin | in file OWLClass.php, method OWLClass::setCardinalityMin() Sets the minimum cardinality for a property. |
setComplementOf | in file OWLClass.php, method OWLClass::setComplementOf() |
setDisjointWith | in file OWLClass.php, method OWLClass::setDisjointWith() |
setDomainToUnionClass | in file OWLProperty.php, method OWLProperty::setDomainToUnionClass() |
setEquivalentClasses | in file OWLClass.php, method OWLClass::setEquivalentClasses() |
setEquivalentProperties | in file OWLProperty.php, method OWLProperty::setEquivalentProperties() Sets equivalent properties to the properties given in values. |
setImports | in file OWLModel.php, method OWLModel::setImports() TODO: beschreibung |
setIncompatibleWith | in file OWLModel.php, method OWLModel::setIncompatibleWith() TODO: beschreibung |
setIntersectionOf | in file OWLClass.php, method OWLClass::setIntersectionOf() |
setInverseOf | in file OWLProperty.php, method OWLProperty::setInverseOf() Sets inverse properties to the properties given in values. |
setPriorVersion | in file OWLModel.php, method OWLModel::setPriorVersion() TODO: beschreibung |
setRangeToDataRange | in file OWLProperty.php, method OWLProperty::setRangeToDataRange() |
setRangeToUnionClass | in file OWLProperty.php, method OWLProperty::setRangeToUnionClass() |
setUnionOf | in file OWLClass.php, method OWLClass::setUnionOf() |