In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first ...sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.
Hierarchical task network (HTN) based planning techniques have been applied to the problem of composing Web Services, especially when described using the
OWL-S
service ontologies. Many of the ...existing Web Services are either exclusively information providing or crucially depend on information-providing services. Thus, many interesting service compositions involve collecting information either during execution or during the composition process itself. In this paper, we focus on the latter issue. In particular, we present
ENQUIRER
, an HTN-planning algorithm designed for planning domains in which the information about the initial state of the world may not be complete, but it is discoverable through plan-time information-gathering queries. We have shown that
ENQUIRER
is sound and complete, and derived several mathematical relationships among the amount of available information, the likelihood of the planner finding a plan, and the quality of the plan found. We have performed experimental tests that confirmed our theoretical results and that demonstrated how
ENQUIRER
can be used for Web Service composition.
Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how ...HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services.
The re-use of previously validated designs is critical to the evolution of synthetic biology from a research discipline to an engineering practice. Here we describe the Synthetic Biology Open ...Language (SBOL), a proposed data standard for exchanging designs within the synthetic biology community. SBOL represents synthetic biology designs in a community-driven, formalized format for exchange between software tools, research groups and commercial service providers. The SBOL Developers Group has implemented SBOL as an XML/RDF serialization and provides software libraries and specification documentation to help developers implement SBOL in their own software. We describe early successes, including a demonstration of the utility of SBOL for information exchange between several different software tools and repositories from both academic and industrial partners. As a community-driven standard, SBOL will be updated as synthetic biology evolves to provide specific capabilities for different aspects of the synthetic biology workflow.
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors becomes an extremely ...hard task even for experts. Existing ontology development environments provide some limited support, in conjunction with a reasoner, for reporting errors in OWL ontologies. Typically, these are restricted to the mere detection of, for example, unsatisfiable concepts. However, the diagnosis and resolution of the bug is not supported at all. For example, no explanation is given as to
why the error occurs (e.g., by pinpointing the root clash, or axioms in the ontology responsible for the clash) or
how dependencies between classes cause the error to propagate (i.e., by distinguishing
root from
derived unsatisfiable classes). In the former case, information from the
internals of a description logic tableaux reasoner can be extracted and presented to the user (glass box approach); while in the latter case, the reasoner can be used as an oracle for a certain set of questions and the asserted structure of the ontology can be used to help isolate the source of the problems (black box approach). Based on the two approaches, we have integrated a number of debugging cues generated from our reasoner, Pellet, in our hypertextual ontology development environment, Swoop. A conducted usability evaluation demonstrates that these debugging cues significantly improve the OWL debugging experience, and point the way to more general improvements in the presentation of an ontology to users.
Swoop: A Web Ontology Editing Browser Kalyanpur, Aditya; Parsia, Bijan; Sirin, Evren ...
Web semantics,
06/2006, Letnik:
4, Številka:
2
Journal Article
Odprti dostop
In this paper, we describe Swoop, a hypermedia inspired Ontology Browser and Editor based on OWL, the recently standardized Web-oriented ontology language. After discussing the design rationale and ...architecture of Swoop, we focus mainly on its features, using illustrative examples to highlight its use. We demonstrate that with its Web-metaphor, adherence to OWL recommendations and key unique features, such as Collaborative Annotation using Annotea, Swoop acts as a useful and efficient Web Ontology development tool. We conclude with a list of future plans for Swoop, that should further increase its overall appeal and accessibility.
To demonstrate the utility of semantic Web service descriptions for service composition, we've developed a goal-oriented, interactive composition approach that uses matchmaking algorithms to help ...users filter and select services while building the composition. filtering and selecting services helps the user drive the composition process. We've implemented composition. Indeed, it is the filtering and selection of services that helps the user drive these ideas in a prototype system that can compose the Web services deployed on the Internet and provide filtering capabilities where a large number of similar services might be available.
The standardization of the Web Ontology Language (OWL) leaves (at least) two crucial issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple ...distinct, but linked ontologies, and how to enable effective knowledge reuse and sharing on the Semantic Web.
In this paper, we present a solution for these fundamental problems based on
E
-Connections. We aim to use
E
-Connections to provide modelers with suitable means for developing Web ontologies in a modular way and to provide an alternative to the
owl:imports construct.
With such motivation, we present in this paper a syntactic and semantic extension of the Web Ontology language that covers
E
-Connections of OWL-DL ontologies. We show how to use such an extension as an alternative to the
owl:imports construct in many modeling situations. We investigate different combinations of the logics
SHIN
(
D
)
,
SHON
(
D
)
and
SHIO
(
D
)
for which it is possible to design and implement reasoning algorithms, well-suited for optimization.
Finally, we provide support for
E
-Connections in both an ontology editor, SWOOP, and an OWL reasoner, Pellet.