Protégé-OWL 3.4

edu.stanford.smi.protegex.owl.testing
Interface OWLDLTest

All Superinterfaces:
OWLTest
All Known Implementing Classes:
NoCardiRestrictionOnTransitivePropertiesOWLDLTest, NoClassesOrPropertiesInEnumerationsOWLDLTest, NoImportOfSystemOntologiesOWLDLTest, NoMetaclassOWLDLTest, NoPropertiesWithClassAsRangeOWLDLTest, NoSubclassesOfRDFClassesOWLDLTest, NoSuperOrSubPropertiesOfAnnotationPropertiesTest, TransitivePropertiesCannotBeFunctionalOWLDLTest

public interface OWLDLTest
extends OWLTest

A marker interface for OWLTests that check whether an ontology is OWL DL. These tests fail if an OWL Full construct is used.

Author:
Holger Knublauch

Field Summary
static String GROUP
           
 
Method Summary
 
Methods inherited from interface edu.stanford.smi.protegex.owl.testing.OWLTest
getDocumentation, getGroup, getName
 

Field Detail

GROUP

static final String GROUP
See Also:
Constant Field Values

Protégé-OWL 3.4

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.