org.semanticweb.owlapi.model

Interface OWLDataSomeValuesFrom

All Superinterfaces:

Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasFiller<OWLDataRange>, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasProperty<OWLDataPropertyExpression>, HasSignature, IsAnonymous, OWLAnonymousClassExpression, OWLClassExpression, OWLDataRestriction, OWLObject, OWLPropertyRange, OWLQuantifiedDataRestriction, OWLQuantifiedRestriction<OWLDataRange>, OWLRestriction, Serializable, SWRLPredicate

All Known Implementing Classes:

OWLDataSomeValuesFromImpl

public interface OWLDataSomeValuesFrom
extends OWLQuantifiedDataRestriction

Represents a DataSomeValuesFrom restriction in the OWL 2 Specification.

Since:

2.0.0

Author:

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

Method Summary

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

getFiller

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

getProperty

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

isDataRestriction, isObjectRestriction

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

accept, accept, asConjunctSet, asDisjunctSet, asOWLClass, containsConjunct, getClassExpressionType, getComplementNNF, getNNF, getObjectComplementOf, isClassExpressionLiteral, isOWLNothing, isOWLThing