uk.ac.manchester.cs.owl.owlapi

Class OWLObjectSomeValuesFromImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedRestrictionImpl<OWLClassExpression>

uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedObjectRestrictionImpl

uk.ac.manchester.cs.owl.owlapi.OWLObjectSomeValuesFromImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, AsOWLClass, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasComponents, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLClassExpression>, HasHashIndex, HasIndex, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLObjectPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLObject, OWLObjectRestriction, OWLObjectSomeValuesFrom, OWLPropertyRange, OWLQuantifiedObjectRestriction, OWLQuantifiedRestriction<OWLClassExpression>, OWLRestriction, SWRLPredicate, HasIncrementalSignatureGenerationSupport

public class OWLObjectSomeValuesFromImpl
extends OWLQuantifiedObjectRestrictionImpl
implements OWLObjectSomeValuesFrom

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OWLObjectSomeValuesFromImpl(OWLObjectPropertyExpression property, OWLClassExpression filler)

Method Summary

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedObjectRestrictionImpl

getProperty

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLQuantifiedRestrictionImpl

getFiller

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAnonymousClassExpressionImpl

asConjunctSet, asDisjunctSet, containsConjunct, getComplementNNF, getNNF, getObjectComplementOf, isOWLNothing, isOWLThing

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

annotationPropertiesInSignature, anonymousIndividuals, classesInSignature, compareTo, containsEntityInSignature, dataPropertiesInSignature, datatypesInSignature, equals, hashCode, individualsInSignature, nestedClassExpressions, objectPropertiesInSignature, signature, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom

accept, accept, accept, accept, getClassExpressionType, hashIndex, typeIndex

Methods inherited from interface org.semanticweb.owlapi.model.OWLQuantifiedRestriction

components

Methods inherited from interface org.semanticweb.owlapi.model.HasFiller

getFiller

Methods inherited from interface org.semanticweb.owlapi.model.OWLObjectRestriction

getProperty, isObjectRestriction

Methods inherited from interface org.semanticweb.owlapi.model.OWLRestriction

isDataRestriction

Methods inherited from interface org.semanticweb.owlapi.model.OWLAnonymousClassExpression

isAnonymous

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpression

asConjunctSet, asDisjunctSet, conjunctSet, containsConjunct, disjunctSet, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing

Methods inherited from interface org.semanticweb.owlapi.model.AsOWLClass

asOWLClass, isOWLClass

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLObjectSomeValuesFromImpl

public OWLObjectSomeValuesFromImpl(OWLObjectPropertyExpression property,
                                   OWLClassExpression filler)

Parameters:

property - property

filler - filler