Comparable<OWLObject>
, HasAnnotationPropertiesInSignature
, HasAnonymousIndividuals
, HasClassesInSignature
, HasContainsEntityInSignature
, HasDataPropertiesInSignature
, HasDatatypesInSignature
, HasFiller<OWLIndividual>
, HasIndividualsInSignature
, HasObjectPropertiesInSignature
, HasProperty<OWLObjectPropertyExpression>
, HasSignature
, IsAnonymous
, OWLAnonymousClassExpression
, OWLClassExpression
, OWLHasValueRestriction<OWLIndividual>
, OWLObject
, OWLObjectRestriction
, OWLPropertyRange
, OWLRestriction
, Serializable
, SWRLPredicate
OWLObjectHasValueImpl
public interface OWLObjectHasValue extends OWLHasValueRestriction<OWLIndividual>, OWLObjectRestriction
accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isAnonymous, isClassExpressionLiteral, isOWLNothing, isOWLThing
asSomeValuesFrom, getFiller, getValue
getProperty
isDataRestriction, isObjectRestriction
Copyright © 2018 The University of Manchester. All rights reserved.