org.semanticweb.owl.profiles
Class OWLDLProfile

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

All Implemented Interfaces:

OWLProfile

public class OWLDLProfile
extends java.lang.Object
implements OWLProfile

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 21-Jun-2008

Checks that an ontology can be saved as an OWL 1 document. This isn't a strict check - it pays no attention to the original concrete representation of the ontology. This means, for example, that aspects of a valid RDF graph such as structure sharing are not validated.

Specifically, this profile ensures that:

• Punning is not used
• Only simple properties are used in number restrictions (including functional properties)

Additionally, no OWL 2 constructs can be used:

• No use of QCRs
• No use sub property axioms whose sub property is a chain
• No use of OWL 2 data ranges
• No use of disjoint classes axioms where more than two classes are declared to be disjoint
• No use disjoint properties axioms
• No use reflexive, antisymmetric, irreflexive property axioms

Constructor Summary

OWLDLProfile()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLDLProfile

public OWLDLProfile()

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.