org.semanticweb.owlapi.profiles

Class OWL2Profile

java.lang.Object

org.semanticweb.owlapi.profiles.OWL2Profile

All Implemented Interfaces:

HasIRI, OWLProfile

public class OWL2Profile
extends Object
implements OWLProfile

Checks to see if an ontology and its imports closure fall into the OWL 2 FULL profile. An ontology is OWL Full if any of the global structural restrictions are violated, if there is punning between object and data properties. Failing this profile means the ontology is not valid OWL.

Author:

Matthew Horridge, The University of Manchester, Information Management Group

Constructor Summary

Constructors

Constructor and Description
OWL2Profile()

Method Summary

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() Gets the IRI of this object.
String	getName() Gets the name of the profile.

Methods inherited from class java.lang.Object

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

Constructor Detail

OWL2Profile

public OWL2Profile()

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: HasIRI

Gets the IRI of this object.

Specified by:

getIRI in interface HasIRI

Returns:

The IRI of this object

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.