org.semanticweb.owl.model
Interface OWLDLOntology

All Superinterfaces:

Cloneable, OWLNamedObject, OWLObject, OWLOntology, Serializable

All Known Subinterfaces:

OWLLiteOntology

public interface OWLDLOntology

extends OWLOntology

Sub interface of Ontology which is intended to represent a DL ontology. Users of this class (e.g. reasoners) can be guaranteed that the ontology really is DL. There is not actual functionality defined in here.

Version:

$Id: OWLDLOntology.java,v 1.1.1.1 2003/10/14 17:10:08 sean_bechhofer Exp $

Methods inherited from interface org.semanticweb.owl.model.OWLOntology

getAnnotationProperties, getAnnotationProperty, getBackwardCompatibleWith, getClass, getClassAxioms, getClasses, getDataProperties, getDataProperty, getDatatype, getDatatypes, getIncludedOntologies, getIncompatibleWith, getIndividual, getIndividualAxioms, getIndividuals, getLogicalURI, getObjectProperties, getObjectProperty, getPhysicalURI, getPriorVersion, getPropertyAxioms, isMutable

Methods inherited from interface org.semanticweb.owl.model.OWLNamedObject

getURI

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, clone, getAnnotations, getAnnotations, getContainedObjects, getMetadata, getOWLConnection, getOWLDataFactory