org.semanticweb.owlapi.profiles

Class OWL2RLProfile

java.lang.Object

org.semanticweb.owlapi.profiles.OWL2RLProfile

All Implemented Interfaces:

OWLProfile

public class OWL2RLProfile
extends Object
implements OWLProfile

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

Constructor Summary

Constructors

Constructor and Description
OWL2RLProfile()

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.
String	getName() Gets the name of the profile.
boolean	isOWL2RLEquivalentClassExpression(OWLClassExpression ce)
protected boolean	isOWL2RLSubClassExpression(OWLClassExpression ce)
boolean	isOWL2RLSuperClassExpression(OWLClassExpression ce)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWL2RLProfile

public OWL2RLProfile()

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

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.

isOWL2RLSubClassExpression

protected boolean isOWL2RLSubClassExpression(OWLClassExpression ce)

isOWL2RLSuperClassExpression

public boolean isOWL2RLSuperClassExpression(OWLClassExpression ce)

isOWL2RLEquivalentClassExpression

public boolean isOWL2RLEquivalentClassExpression(OWLClassExpression ce)