org.semanticweb.owlapi.profiles

Class OWL2DLProfile

java.lang.Object

org.semanticweb.owlapi.profiles.OWL2DLProfile

All Implemented Interfaces:

OWLProfile

public class OWL2DLProfile
extends Object
implements OWLProfile

Author:

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

Field Summary

Fields inherited from interface org.semanticweb.owlapi.profiles.OWLProfile

OWL2_DL, OWL2_EL, OWL2_FULL, OWL2_QL, OWL2_RL

Constructor Summary

Constructors

Constructor and Description
OWL2DLProfile()

Method Summary

Methods

Modifier and Type	Method and Description
OWLProfileReport	checkOntology(OWLOntology ontology) Checks an ontology and its import closure to see if it is within this profile.
IRI	getIRI() The IRI that uniquely identifies this profile.
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 String getName()

Description copied from interface: OWLProfile

Gets the name of the profile.

Specified by:

getName in interface OWLProfile

Returns:

A string that represents the name of the profile

getIRI

public IRI getIRI()

Description copied from interface: OWLProfile

The IRI that uniquely identifies this profile. If this profile is listed at http://www.w3.org/ns/owl-profile/ this IRI MUST match the IRI given in the list.

Specified by:

getIRI in interface OWLProfile

Returns:

The IRI that identifies this profile.

checkOntology

public OWLProfileReport checkOntology(OWLOntology ontology)

Description copied from interface: OWLProfile

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.