org.semanticweb.owlapi.profiles
Class OWL2DLProfile

java.lang.Object
  org.semanticweb.owlapi.profiles.OWL2DLProfile

All Implemented Interfaces:

OWLProfile

public class OWL2DLProfile
extends java.lang.Object
implements OWLProfile

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 02-Aug-2009

Constructor Summary

OWL2DLProfile()

Method Summary

OWLProfileReport	checkOntology(OWLOntology ontology) Checks an ontology and its import closure to see if it is within this profile.
java.lang.String	getName() Gets the name of the profile.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OWL2DLProfile

public OWL2DLProfile()

Method Detail

getName

public java.lang.String getName()

Gets the name of the profile.

Specified by:

getName in interface OWLProfile

Returns:

A string that represents the name of the profile

checkOntology

public OWLProfileReport checkOntology(OWLOntology ontology)

Checks an ontology and its import closure to see if it is within this profile.

Specified by:

checkOntology in interface OWLProfile

Parameters:

ontology - The ontology to be checked.

Returns:

An OWLProfileReport that describes whether or not the ontology is within this profile.