Uses of Interface
org.semanticweb.owl.model.OWLDescription

Packages that use OWLDescription

org.semanticweb.owl.impl.model	A basic implementation of the OWL API.
org.semanticweb.owl.inference	Inference over OWL ontologies.
org.semanticweb.owl.io.abstract_syntax	Simple renderer that writes ontologies in OWL Abstract Syntax.
org.semanticweb.owl.io.owl_rdf
org.semanticweb.owl.model	An API for OWL.
org.semanticweb.owl.model.change	Change API for OWL Ontologies.
org.semanticweb.owl.model.helper	Helper classes for the OWL API.
uk.ac.man.cs.img.owl.inference.dl

Uses of OWLDescription in org.semanticweb.owl.impl.model

Classes in org.semanticweb.owl.impl.model that implement OWLDescription

class	OWLAndImpl A conjunction of expressions.
class	OWLClassImpl An OWL Class represents a named class within an ontology.
class	OWLDataAllRestrictionImpl A universally quantified restriction over a datatype propperty.
class	OWLDataCardinalityRestrictionImpl A CardinalityRestriction that applies to an OWLDataProperty.
class	OWLDataQuantifiedRestrictionImpl A Restriction over an OWLDataProperty that is quantified.
class	OWLDataRestrictionImpl A Restriction that particularly applies to an OWLDataProperty.
class	OWLDataSomeRestrictionImpl An existentially quantified restriction over a datatype property.
class	OWLDataValueRestrictionImpl A restriction over a datatype property with a given value.
class	OWLEnumerationImpl An OWLEnumeration is a collection of OWLIndividuals.
class	OWLFrameImpl A frame packages up a top-level description of a class, and consists of a number of superclasses and a number of restrictions.
class	OWLNaryBooleanDescriptionImpl A super class encompassing And and Or expressions.
class	OWLNotImpl The complement of a description.
class	OWLObjectAllRestrictionImpl A universally quantified restriction over a datatype property.
class	OWLObjectCardinalityRestrictionImpl A CardinalityRestriction that applies to an OWLObjectProperty.
class	OWLObjectQuantifiedRestrictionImpl A Restriction over an OWLObjectProperty that is quantified.
class	OWLObjectRestrictionImpl A Restriction that particularly applies to an OWLObjectProperty.
class	OWLObjectSomeRestrictionImpl An existentially quantified restriction over a datatype property.
class	OWLObjectValueRestrictionImpl A restriction over an individual property with a given value.
class	OWLOrImpl A disjunction of expressions.

Methods in org.semanticweb.owl.impl.model that return OWLDescription

OWLDescription	OWLSubClassAxiomImpl.getSuperClass()
OWLDescription	OWLSubClassAxiomImpl.getSubClass()
OWLDescription	OWLObjectQuantifiedRestrictionImpl.getDescription()
OWLDescription	OWLNotImpl.getOperand() Returns the OWLDescription being negated.

Methods in org.semanticweb.owl.impl.model with parameters of type OWLDescription

OWLObjectAllRestriction	OWLDataFactoryImpl.getOWLObjectAllRestriction(OWLObjectProperty property, OWLDescription description)
OWLObjectSomeRestriction	OWLDataFactoryImpl.getOWLObjectSomeRestriction(OWLObjectProperty property, OWLDescription description)
OWLNot	OWLDataFactoryImpl.getOWLNot(OWLDescription operand)
OWLSubClassAxiom	OWLDataFactoryImpl.getOWLSubClassAxiom(OWLDescription subClass, OWLDescription superClass)
OWLSubClassAxiom	OWLDataFactoryImpl.getOWLSubClassAxiom(OWLDescription subClass, OWLDescription superClass)

Constructors in org.semanticweb.owl.impl.model with parameters of type OWLDescription

OWLSubClassAxiomImpl(OWLDataFactoryImpl factory, OWLDescription subClass, OWLDescription superClass)

OWLSubClassAxiomImpl(OWLDataFactoryImpl factory, OWLDescription subClass, OWLDescription superClass)

OWLObjectSomeRestrictionImpl(OWLDataFactoryImpl factory, OWLObjectProperty property, OWLDescription description)

OWLObjectQuantifiedRestrictionImpl(OWLDataFactoryImpl factory, OWLObjectProperty property, OWLDescription description)

OWLObjectAllRestrictionImpl(OWLDataFactoryImpl factory, OWLObjectProperty property, OWLDescription description)

OWLNotImpl(OWLDataFactoryImpl factory, OWLDescription operand)

Uses of OWLDescription in org.semanticweb.owl.inference

Methods in org.semanticweb.owl.inference with parameters of type OWLDescription

boolean	OWLIndividualReasoner.isInstanceOf(OWLIndividual i, OWLDescription d) Returns true if the given individual is an instance of the given description
Set	OWLIndividualReasoner.instancesOf(OWLDescription d) Returns the individuals which are instances of the given description
boolean	OWLClassReasoner.isSubClassOf(OWLDescription d1, OWLDescription d2) Returns true if d1 is a subclass of d2.
boolean	OWLClassReasoner.isSubClassOf(OWLDescription d1, OWLDescription d2) Returns true if d1 is a subclass of d2.
boolean	OWLClassReasoner.isEquivalentClass(OWLDescription d1, OWLDescription d2) Returns true if d1 is equivalent to d2.
boolean	OWLClassReasoner.isEquivalentClass(OWLDescription d1, OWLDescription d2) Returns true if d1 is equivalent to d2.
boolean	OWLClassReasoner.isConsistent(OWLDescription d1) Returns true if the description is consistent (i.e. if it is possible for there to exist models in which the extension of the class is non-empty.
Set	OWLClassReasoner.superClassesOf(OWLDescription d) Returns the collection of (named) most specific superclasses of the given description.
Set	OWLClassReasoner.ancestorClassesOf(OWLDescription d) Returns the collection of all superclasses of the given description.
Set	OWLClassReasoner.subClassesOf(OWLDescription d) Returns the collection of (named) most general subclasses of the given description.
Set	OWLClassReasoner.descendantClassesOf(OWLDescription d) Returns the collection of all subclasses of the given description.
Set	OWLClassReasoner.equivalentClassesOf(OWLDescription d) Returns the collection of (named) classes which are equivalent to the given description.

Uses of OWLDescription in org.semanticweb.owl.io.abstract_syntax

Methods in org.semanticweb.owl.io.abstract_syntax that return OWLDescription

OWLDescription	ANTLRParser.type() Rule.
OWLDescription	ANTLRParser.description() Rule.
OWLDescription	ANTLRParser.externalDescription(OWLBuilder newBuilder, Map newIdsTable, Map newNamespaceTable) Invoked by AbstractOWLParser.parseDescription(Reader).
OWLDescription	AbstractOWLParser.parseDescription(Reader descriptionReader) Parses the description in descriptionReader and returns the corresponding OWLDescription.
OWLDescription	AbstractOWLParser.parseDescription(String descriptionString) Parses descriptionString and returns the corresponding OWLDescription.

Uses of OWLDescription in org.semanticweb.owl.io.owl_rdf

Methods in org.semanticweb.owl.io.owl_rdf that return OWLDescription

protected OWLDescription	OWLConsumer.translateDescription(URI uri) Returns an OWLDescription that corresponds to the given URI.
protected OWLDescription	OWLConsumer.translateRestriction(URI uri, URI propURI, int type, boolean obj) Returns a translation of the given URI
protected OWLDescription	OWLConsumer.translateCardinalityRestriction(URI uri, URI propURI, int type, boolean obj)

Uses of OWLDescription in org.semanticweb.owl.model

Subinterfaces of OWLDescription in org.semanticweb.owl.model

interface	OWLAnd A conjunction of expressions.
interface	OWLBooleanDescription An abstract interface encompassing And, Or and Not.
interface	OWLCardinalityRestriction An OWLCardinalityRestriction represents an assertion about the number of role fillers a property can or must have.
interface	OWLClass An OWL Class represents a named class within an ontology.
interface	OWLDataAllRestriction A universally quantified restriction over a datatype property.
interface	OWLDataCardinalityRestriction A CardinalityRestriction that applies to an OWLDataProperty.
interface	OWLDataQuantifiedRestriction A Restriction over an OWLDataProperty that is quantified.
interface	OWLDataRestriction A Restriction that particularly applies to an OWLDataProperty.
interface	OWLDataSomeRestriction An existentially quantified restriction over a datatype proerty.
interface	OWLDataValueRestriction A restriction over a datatype property with a given value.
interface	OWLEnumeration An OWLEnumeration is a collection of OWLIndividuals.
interface	OWLFrame A frame packages up a top-level description of a class, and consists of a number of superclasses and a number of restrictions.
interface	OWLNaryBooleanDescription A super interface encompassing And and Or expressions.
interface	OWLNot The complement of a description.
interface	OWLObjectAllRestriction A universally quantified restriction over a object property.
interface	OWLObjectCardinalityRestriction A CardinalityRestriction that applies to an OWLIndividualProperty.
interface	OWLObjectQuantifiedRestriction A Restriction over an OWLIndividualProperty that is quantified.
interface	OWLObjectRestriction A Restriction that particularly applies to an OWLObjectProperty.
interface	OWLObjectSomeRestriction An existentially quantified restriction over a datatype property.
interface	OWLObjectValueRestriction A restriction over an individual property with a given value.
interface	OWLOr A disjunction of expressions.
interface	OWLRestriction A super interface of datatype and individual restrictions.

Methods in org.semanticweb.owl.model that return OWLDescription

OWLDescription	OWLSubClassAxiom.getSuperClass()
OWLDescription	OWLSubClassAxiom.getSubClass()
OWLDescription	OWLObjectQuantifiedRestriction.getDescription()
OWLDescription	OWLNot.getOperand() Returns the OWLDescription being negated.

Methods in org.semanticweb.owl.model with parameters of type OWLDescription

OWLObjectAllRestriction	OWLDataFactory.getOWLObjectAllRestriction(OWLObjectProperty prop, OWLDescription filler)
OWLObjectSomeRestriction	OWLDataFactory.getOWLObjectSomeRestriction(OWLObjectProperty prop, OWLDescription filler)
OWLNot	OWLDataFactory.getOWLNot(OWLDescription operand)
OWLSubClassAxiom	OWLDataFactory.getOWLSubClassAxiom(OWLDescription subClass, OWLDescription superClass)
OWLSubClassAxiom	OWLDataFactory.getOWLSubClassAxiom(OWLDescription subClass, OWLDescription superClass)

Uses of OWLDescription in org.semanticweb.owl.model.change

Methods in org.semanticweb.owl.model.change that return OWLDescription

OWLDescription	RemoveSuperClass.getDescription() The superclass
OWLDescription	RemoveEquivalentClass.getDescription() The equivalence
OWLDescription	AddSuperClass.getDescription()
OWLDescription	AddObjectPropertyRange.getRange() The range.
OWLDescription	AddIndividualClass.getDescription()
OWLDescription	AddEquivalentClass.getDescription()
OWLDescription	AddDomain.getDomain()

Constructors in org.semanticweb.owl.model.change with parameters of type OWLDescription

RemoveSuperClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

RemoveEquivalentClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

AddSuperClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

AddObjectPropertyRange(OWLOntology ontology, OWLObjectProperty property, OWLDescription range, OntologyChange cause)

AddIndividualClass(OWLOntology ontology, OWLIndividual individual, OWLDescription description, OntologyChange cause)

AddEquivalentClass(OWLOntology ontology, OWLClass owlClass, OWLDescription description, OntologyChange cause)

AddDomain(OWLOntology ontology, OWLProperty property, OWLDescription domain, OntologyChange cause)

Uses of OWLDescription in org.semanticweb.owl.model.helper

Methods in org.semanticweb.owl.model.helper that return OWLDescription

OWLDescription	OWLBuilder.unionOf(Set descriptions) Returns the OWLDescription corresponding to the union of descriptions.
OWLDescription	OWLBuilder.intersectionOf(Set descriptions) Returns the OWLDescription corresponding to the intersection of descriptions.
OWLDescription	OWLBuilder.complementOf(OWLDescription description) Returns the OWLDescription corresponding to the complement of description.
OWLDescription	OWLBuilder.DescriptionComponent.getDescription() Gets the description property.

Methods in org.semanticweb.owl.model.helper with parameters of type OWLDescription

void	OWLBuilder.addDescriptionToIndividual(OWLDescription description, OWLIndividual individual) Adds description to individual in current ontology.
void	OWLBuilder.addSubClassAxiom(OWLDescription description1, OWLDescription description2) Adds an axiom stating that description1 is a subclass of description1.
void	OWLBuilder.addSubClassAxiom(OWLDescription description1, OWLDescription description2) Adds an axiom stating that description1 is a subclass of description1.
void	OWLBuilder.addPropertyDomain(OWLProperty property, OWLDescription domain) Adds domain to property.
void	OWLBuilder.addObjectPropertyRange(OWLObjectProperty property, OWLDescription range) Adds range to property.
OWLDescription	OWLBuilder.complementOf(OWLDescription description) Returns the OWLDescription corresponding to the complement of description.
OWLBuilder.DescriptionComponent	OWLBuilder.createDescriptionComponent(OWLDescription description, int type) Creates a DescriptionComponent with description description and type type.

Constructors in org.semanticweb.owl.model.helper with parameters of type OWLDescription

OWLBuilder.DescriptionComponent(OWLDescription description, int type)
Creates a new DescriptionComponent instance and sets its description and type properties.

Uses of OWLDescription in uk.ac.man.cs.img.owl.inference.dl

Methods in uk.ac.man.cs.img.owl.inference.dl with parameters of type OWLDescription

boolean	SimpleOWLReasoner.isSubClassOf(OWLDescription d1, OWLDescription d2) Returns true if d1 is a subclass of d2.
boolean	SimpleOWLReasoner.isSubClassOf(OWLDescription d1, OWLDescription d2) Returns true if d1 is a subclass of d2.
boolean	SimpleOWLReasoner.isEquivalentClass(OWLDescription d1, OWLDescription d2) Returns true if d1 is equivalent to d2.
boolean	SimpleOWLReasoner.isEquivalentClass(OWLDescription d1, OWLDescription d2) Returns true if d1 is equivalent to d2.
boolean	SimpleOWLReasoner.isConsistent(OWLDescription d1) Returns true if the description is consistent (i.e. if it is * possible for there to exist models in which the extension of the class is non-empty.
Set	SimpleOWLReasoner.superClassesOf(OWLDescription d) Returns the collection of (named) most specific superclasses of the given description.
Set	SimpleOWLReasoner.subClassesOf(OWLDescription d) Returns the collection of (named) most general subclasses of the given description.
Set	SimpleOWLReasoner.ancestorClassesOf(OWLDescription d)
Set	SimpleOWLReasoner.descendantClassesOf(OWLDescription d)
Set	SimpleOWLReasoner.equivalentClassesOf(OWLDescription d)
boolean	SimpleOWLReasoner.isInstanceOf(OWLIndividual i, OWLDescription d)
Set	SimpleOWLReasoner.instancesOf(OWLDescription d1) Returns all the instances of the given class.