org.semanticweb.owlapi.profiles
Class OWL2QLProfile

java.lang.Object
  extended by org.semanticweb.owlapi.profiles.OWL2QLProfile
All Implemented Interfaces:
OWLProfile

public class OWL2QLProfile
extends java.lang.Object
implements OWLProfile

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 18-Jul-2009


Constructor Summary
OWL2QLProfile()
           
 
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.
 boolean isOWL2QLSuperClassExpression(OWLClassExpression ce)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OWL2QLProfile

public OWL2QLProfile()
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.

isOWL2QLSuperClassExpression

public boolean isOWL2QLSuperClassExpression(OWLClassExpression ce)