Pellet is an open-source Java based OWL DL reasoner. It can be used in conjunction with either Jena or OWL API libraries.
Tutorial Details:
You can download Pellet API which provides functionalities to see the species validation, check consistency of ontologies, classify the taxonomy, check entailments and answer a subset of RDQL queries (known as ABox queries in DL terminology). You can also use the online demo which provides most of these functionalities.
Pellet is an OWL DL reasoner based on the tableaux algorithms developed for expressive Description Logics. It supports all the OWL DL constructs including the ones about nominals, namely owl:oneOf and owl:hasValue. It is known that using these constructs with inverse properties causes problems in reasoning. Pellet uses a combination of known algorithms and provides reasoning that is sound and complete for OWL DL without nominals (SHIN(D) in DL terminology) and OWL DL without inverse properties (SHON(D) in DL terminology). It is provably sound but incomplete with respect to all OWL DL constructs (SHION(D) in DL terminology).
Read
Tutorial at: Click here to view the tutorial
Rate Tutorial: Pellet OWL Reasoner
View Tutorial: Pellet OWL Reasoner
Related
Tutorials:
|
Displaying 1 - 5 of about 5 Related Tutorials.
|
 WSMO Studio
.
WSMO Studio features include:
Ontology editor with integrated WSML Reasoner (MINS,
KAON2, Pellet, IRIS) for consistency checks and querying of ontologies...;
WSML
a subset of OWL
|
SWeDE: Semantic Web Development Environment
an OWL editor with helpful features like syntax highlighting,
autocompletion, and error-detection. It also currently integrates existing tools
like the OWL Validator, Kazuki (OWL to Java code generator), and DumpOnt
(Ontology Visualizer). Going
|
Web 3.0 Definition
or unstructured
content will be widely available in RDF and OWL semantic...,
Semantic web technologies such as RDF, OWL, SWRL, SPARQL, Semantic
|
WebOfPatterns
to describe design patterns based on the W3C standards
RDF and OWL , and a set
|
Web Services Tutorials and Links
;
The committee aims to build on the success of OWL-S, taking the existing language
|
|
|
|
