org.semanticweb.owl.profiles
Class ELPlusPlusProfile

java.lang.Object
  org.semanticweb.owl.profiles.ELPlusPlusProfile

All Implemented Interfaces:

OWLProfile

public class ELPlusPlusProfile
extends java.lang.Object
implements OWLProfile

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

Constructor Summary

ELPlusPlusProfile()

Method Summary

OWLProfileReport	checkOntology(OWLOntology ontology, OWLOntologyManager manager) 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.
static void	main(java.lang.String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

ELPlusPlusProfile

public ELPlusPlusProfile()

Method Detail

getName

public java.lang.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

checkOntology

public OWLProfileReport checkOntology(OWLOntology ontology,
                                      OWLOntologyManager manager)

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.

manager - A manager which can be used to obtain the imports closure of the ontology

Returns:

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

main

public static void main(java.lang.String[] args)