Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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 `OWLIndividual`s.
`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 `OWLIndividual`s.
`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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

WonderWeb