Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnnotations
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasProperty<OWLDataPropertyExpression>
, HasSignature
, IsAnonymous
, OWLAxiom
, OWLDataPropertyAxiom
, OWLLogicalAxiom
, OWLObject
, OWLPropertyAxiom
, OWLUnaryPropertyAxiom<OWLDataPropertyExpression>
, Serializable
OWLFunctionalDataPropertyAxiom
public interface OWLDataPropertyCharacteristicAxiom extends OWLDataPropertyAxiom, OWLUnaryPropertyAxiom<OWLDataPropertyExpression>
compareTo
getAnnotationPropertiesInSignature
getAnonymousIndividuals
getClassesInSignature
containsEntityInSignature
getDataPropertiesInSignature
getDatatypesInSignature
getIndividualsInSignature
getObjectPropertiesInSignature
getSignature
isAnonymous
accept, accept, equalsIgnoreAnnotations, getAnnotatedAxiom, getAnnotations, getAnnotations, getAxiomType, getAxiomWithoutAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfType
accept, accept, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString
getProperty
Copyright © 2018 The University of Manchester. All rights reserved.