Semantic Web Research Group [an error occurred while processing this directive] [an error occurred while processing this directive]

pellet.owldl.com

The information on this page is kept for historical/archival reasons. These pages are not updated any more. Please update your link.

OWL Consistency Checker

Enter a URI or paste an OWL document into the following text field to check the consistency of an OWL ontology. The level of the input file (Lite, DL or Full) will also be shown. Additionally, you can specify a URI of another file to check if all the triples in this conclusions file is entailed from the triples in input file. The classification of all the concepts in the input file can also be printed in a tree or table format. Please send your comments, questions and problems to Pellet users list. Before posting messages, you need to first subscribe to the mailing list.

Examples:

Input: Enter a URI (or Text) for an OWL ontology to check for consistency and optionally display the classification

URI:
or Text:
Options:	Enable species validation Check ontology consistency Find unsatisfiable concepts Display class hierarchy Show individuals in class hierarchy Enable processing E-connected ontologies (Select this option only if input ontology is E-connected)

New SPARQL Query: Enter a SPARQL (or RDQL) query in the text area or provide a URI of the query file to answer the query. (Note: The FROM clause in the query will be ignored if an input URI is given above. The query should be an ABox query, i.e. only queries about individuals will be answered).

URI:
or Text:

[an error occurred while processing this directive]