Mindswap

Maryland Information and Network Dynamics Lab Semantic Web Agents Project

Pellet has been moved to http://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.

Overview     |     Project Page    |     Download     |     Support     |     FAQ     |     Online demo     |     Performance     |     Pellet Widget    

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: Please choose an example and click submit to see different ways to use the demo 1) Find document level - For a given OWL ontology display its level Lite, DL or Full 2) Find ontology consistency - Check if the ontology is consistent 3) Display classification - Display the class hierarchy of all the concepts 4) Concept satisfiability - Display the list of unsatisfiable classes 5) Realization - Display individuals in the class tree 6) Simple SPARQL example - Run RDQL query and display results in a table 7) Another SPARQL example - Where distinguished variables matter 8) Oedipus example - Example 2.15 from Description Logic Handbook in OWL and RDQL 9) Reflexive properties - An example that shows how to make a property reflexive
Input: Enter a URI (or Text) for an OWL ontology to check for consistency and optionally display the classification

URI:		RDF/XML N3 N-TRIPLE
or Text:
Options:	Enable species validation Check ontology consistency Find unsatisfiable concepts Display class hierarchy NO Tree Format RDF Format (only direct subclass relations) RDF Format (all subclass relations) 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:		SPARQL RDQL
or Text: