Thorsten Liebig, Marko Luther, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Ralf Möller, ...
Abstract. The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2 for the...
Opening, Closing Worlds — On Integrity Constraints (2009)
Evren Sirin, Michael Smith, Evan Wallace
Abstract. In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. However, some...
Pellint — A Performance Lint Tool for Pellet (2009)
Abstract. Predicting the performance of a tableau reasoner for an OWL ontology is generally hard. It is even harder for users who are not familiar with the details of tableau algorithms. In this...
• Knowledge Representation, especially related to the Semantic Web (2008)
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca-grau
• Worked with Dr. Steve Battle on exploring ontology use for software development. Designed techniques for migration of an OWL ontology to a Java API. An IBM development team has since built an API...
Finding all Justifications of OWL DL (2008)
Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin
Abstract. Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language...
Finding All Justifications of OWL DL (2008)
Aditya Kalyanpur, Bijan Parsia, Matthew Horridge, Evren Sirin
Abstract. Finding the justifications of an entailment (that is, all the minimal set of axioms sufficient to produce an entailment) has emerged as a key inference service for the Web Ontology Language...
Description Logic Reasoning for Dynamic (2008)
Christian Halaschek-wiener, Bijan Parsia, Evren Sirin, Adtiya Kalyanpur
Recently, there has been interest in providing formal representation of Web content, which can then be processed using automated reasoning techniques. Due to data sources that produce fluctuating...
Automated Composition of Web Services using AI Planning Techniques (2008)
Web Services is an emerging paradigm in which very loosely coupled software components are published, located, and invoked on the Web as parts of distributed applications. Web Services provide a new...
of the Rule Interchange Format Working Group (RIF [2]). One approach to (2008)
Vladimir Kolovski, Bijan Parsia, Evren Sirin
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually produce undecidable...
Debugging Unsatisfiable Classes in OWL (2008)
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, James Hendler
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...
Description Logic Reasoning for Dynamic (2008)
Christian Halaschek-wiener, Bijan Parsia, Evren Sirin, Adtiya Kalyanpur
Recently, there has been interest in providing formal representation of Web content, which can then be processed using automated reasoning techniques. Due to data sources that produce fluctuating...
Repairing Unsatisfiable Concepts in OWL (2008)
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca-grau
Abstract. In this paper, we investigate the problem of repairing unsatisfiable concepts in an OWL ontology in detail, keeping in mind the user perspective as much as possible. We focus on various...
These slides are based in part on slides from (2008)
Craig Knoblock, Jose Luis Ambite, Craig Knoblock, Jose Luis Ambite, Craig Knoblock, José Luis Ambite, ...
The material in these notes is copyrighted by its respective authors. It does not count as published. For more information on ICAPS, please visit www.icaps-conference.org. Planning on the Web
Integrating Description Logics and Logics of Motion (2008)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Fusun Yaman
There are numerous applications that involve the movement in space and time of complex objects, defined in terms of simpler ones. These applications heavily rely on quantitative spatial and temporal...
SPARQL-DL: SPARQL Query for OWL-DL (2007)
Abstract. There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, SPARQL)...
SPARQL-DL: SPARQL Query for OWL-DL (2007)
Abstract. There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, SPARQL)...
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, Yarden Katz
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...
SPARQL-DL: SPARQL Query for OWL-DL (2007)
Abstract. There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, SPARQL)...
Combining Description Logic Reasoning with AI Planning for Composition of Web Services (2006)
As Web Services become more prevalent -- with the aim of achieving interoperability between heterogeneous, decentralized and distributed systems -- the problem of selecting and composing services to...
Combining Description Logic Reasoning with AI Planning for Composition of Web Services (2006)
As Web Services become more prevalent -- with the aim of achieving interoperability between heterogeneous, decentralized and distributed systems -- the problem of selecting and composing services to...
Information Gathering During Planning for Web Service Composition (2006)
Kuter, Ugur, Sirin, Evren, Nau, Dana, Parsia, Bijan, Hendler, James
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...
Description Logic Reasoning with Syntactic Updates (2006)
Halashek-Wiener, Christian, Parsia, Bijan, Sirin, Evren
Various data sources on the Web tend to be highly dynamic; this is evident in prominent Web services frameworks in which devices register or deregister their descriptions quite rapidly and in...
Semantic Web Research Trends and Directions (2006)
Golbeck, Jennifer, Cuenca Gran, Bernardo, Halaschek-Wiener, Christian, Kalyanpur, Aditya, Katz, Yarden, Parsia, Bijan, ...
The Semantic Web is not a single technology, but rather a collection of technologies designed to work together. As a result, research on the Semantic Web intends both to advance individual...
Combining description logic reasoning with AI planning for composition of web services (2006)
Thesis (Ph. D.) -- University of Maryland, College Park, 2006.
Description Logics Reasoning with Syntactic Updates (2006)
Christian Halashek-wiener, Bijan Parsia, Evren Sirin
Abstract. Various data sources on the Web tend to be highly dynamic; this is evident in prominent Web services frameworks in which devices register or deregister their descriptions quite rapidly and...
E.S.: Towards Incremental Reasoning Through Updates (2006)
Bijan Parsia, Christian Halaschek-wiener, Evren Sirin
In this paper, we investigate incrementally updating classifications of ontologies encoded in the expressive description logic SHOIN (D), which also corresponds to the W3C standard Web Ontology...
Description Logics Reasoning with Syntactic Updates (2006)
Christian Halashek-wiener, Bijan Parsia, Evren Sirin
Abstract. Various data sources on the Web tend to be highly dynamic; this is evident in prominent Web services frameworks in which devices register or deregister their descriptions quite rapidly and...
From wine to water: Optimizing description logic reasoning for nominals (2006)
OWL-DL is a World Wide Web Consortium standard for representing ontologies on the Semantic Web. It can be seen as a syntactic variant of the Description Logic SHOIN (D), with an OWL-DL ontology...
Pellet system description (2006)
The description logic SHOIN (D) has attracted considerable interest as the foundation of the W3C standard Web Ontology Language variant, OWL-DL. Pellet is a sound and complete tableau reasoner for...
Optimizations for answering conjunctive abox queries: First results (2006)
Conjunctive query answering is an important task for many applications on Semantic Web. It is important to efficiently answer queries over knowledge bases with large ABoxes. Although answering...
Modularity and web ontologies (2006)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
Modularity in ontologies is key both for large scale ontology development and for distributed ontology reuse on the Web. However, the problems of formally characterizing a modular representation, on...
Thesis research directed by: Computer Science.
Automatic Partitioning of OWL Ontologies Using E-Connections (2005)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
On the Semantic Web, the ability to combine, integrate and reuse ontologies is crucial. The Web Ontology Language (OWL) defines the owl:imports construct, which allows to include by reference all the...
Debugging owl ontologies (2005)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
Abstract. Modularity in ontologies is key both for large scale ontology development and for distributed ontology reuse on the Web. In this paper, we address the problem of determining and retrieving...
Debugging OWL Ontologies (2005)
Bijan Parsia, Evren Sirin, Aditya Kalyanpur
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...
Template-based composition of semantic web services (2005)
Evren Sirin, Bijan Parsia, James Hendler
Workflow templates are necessary for various different Web Service related tasks such as encoding business rules in a B2B application, specifying domain knowledge in a scientific Grid application,...
Automatic Partitioning of OWL Ontologies Using E-Connections (2005)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
On the Semantic Web, the ability to combine, integrate and reuse ontologies is crucial. The Web Ontology Language (OWL) defines the owl:imports construct, which allows to include by reference all the...
Black box techniques for debugging unsatisfiable concepts (2005)
Aditya Kalyanpur, Bijan Parsia, Evren Sirin
Now that OWL is a W3C Recommendation, one can expect that a much wider community of users and developers will be exposed to the expressive description logic SHIF(D) and SHOIN(D) which are the basis...
Swoop: A Web Ontology Editing Browser (2005)
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, Bernardo Cuenca Grau, James Hendler
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...
OWL-S: Semantic Markup for Web Services (2004)
Martin, David, Burstein, Mark, Hobbs, Jerry, Lassila, Ora, McDermott, Drew, McIlraith, Sheila, ...
OWL-S: Semantic Markup for Web Services (2004)
Martin, David, Burstein, Mark, Hobbs, Jerry, Lassila, Ora, McDermott, Drew, McIlraith, Sheila, ...
OWL-S: Semantic Markup for Web Services (2004)
Martin, David, Burstein, Mark, Hobbs, Jerry, Lassila, Ora, McDermott, Drew, McIlraith, Sheila, ...
Pellet: An owl dl reasoner (2004)
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the...
Filtering and selecting semantic Web services with interactive composition techniques (2004)
Evren Sirin, Bijan Parsia, James Hendler
services by hand is notoriously difficult. At every step of a composition, users face a plethora of choices. Our assisted composition approach uses the richness of Semantic Web Service descriptions...
Composition-driven Filtering and Selection of Semantic Web Services (2004)
Evren Sirin, Bijan Parsia, James Hendler
Creating novel functionality by means of the composition of existing web services is essential for a variety of applications. One of the main problems for automated web service composition is the gap...
Optimizing Description Logic Reasoning with Nominals: First Results (2004)
Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia
OWL-DL is a World Wide Web Consortium standard for representing ontologies on the Semantic Web. It can be seen as a syntactic variant of the Description Logic SHOIN (D), with an OWL-DL ontology...
Planning for Semantic Web Services (2004)
Abstract. Using Semantic Web ontologies to describe Web Services has proven to be useful for various different tasks including service discovery and composition. AI planning techniques have been...
HTN Planning for Web Service Composition Using SHOP2 (2004)
Evren Sirin, Bijan Parsia, Dan Wu, James Hendler, Dana Nau
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...
Planning for Semantic Web Services (2004)
Evren Sirin And, Evren Sirin, Bijan Parsia
Using Semantic Web ontologies to describe Web Services has proven to be useful for various different tasks including service discovery and composition.
Information Gathering During Planning for Web Service Composition (2004)
Ugur Kuter, Evren Sirin, Dana Nau, Bijan Parsia, James Hendler
Abstract. 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...
Information Gathering During Planning for Web Service Composition (2004)
Ugur Kuter, Evren Sirin, Dana Nau, Bijan Parsia, James Hendler
Abstract. 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...
Working with multiple ontologies on the semantic web (2004)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
Abstract. The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple...
Hypermedia inspired ontology engineering environment: Swoop (2004)
Aditya Kalyanpur, Evren Sirin, Bijan Parsia, James Hendler
In this paper, we present the design and architecture of a hypermedia inspired ontology engineering environment- SWOOP. With its web-metaphor, adherence to OWL recommendations, fluid ontology...
Tableau algorithms for econnections of description logics (2004)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
For many years, the Modal Logic community has pursued various techniques for robustly combining logics. These methodologies reflect a new direction in Logic applied to Knowledge Representation,...
Working with multiple ontologies on the semantic web (2004)
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin
Abstract. The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with multiple...
Semi-automatic Composition of Web Services using Semantic Descriptions (2003)
Evren Sirin, James Hendler, Bijan Parsia
Abstract. As web services become more prevalent, tools will be needed to help users find, filter and integrate these services. Composing existing services to obtain new functionality will prove to be...
Automatic Web Services Composition Using SHOP2 (2003)
Dan Wu Evren, Dan Wu, Evren Sirin, James Hendler, Dana Nau, Bijan Parsia
Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planning system (SHOP2)...
Onthology-Enabled Pervasive Computing Applications (2003)
R. Masuoka, James Hendler, Ryusuke Masuoka, Yannis Labrou, Bijan Parsia, ...
local services combined with services available pervasively and remotely. Our research aims to empower nonexpert users with the ability to perform complex tasks in information-rich, device-rich, and...
Automatic Web services composition using SHOP2 (2003)
Dan Wu, Evren Sirin, James Hendler, Dana Nau, Bijan Parsia
Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planning system (SHOP2)...
Automatic Web services composition using SHOP2 (2003)
Dan Wu, Evren Sirin, James Hendler, Dana Nau, Bijan Parsia
Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planning system (SHOP2)...
Automating DAML-S Web Services Composition Using SHOP2 (2003)
Dan Wu, Bijan Parsia, Evren Sirin, James Hendler, And Dana Nau, Dana Nau
The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited...
Security-aware adaptive dynamic source routing protocol (2002)
Shayan Ghazizadeh, Okhtay Ilghami, Evren Sirin, Fusun Yaman
We present SADSR (Security-Aware Adaptive DSR), a secure routing protocol for mobile ad hoc networks. SADSR authenticates the routing protocol messages using digital signatures based on asymmetric...
Automatic Web Services Composition Using SHOP2 (1998)
Wu, Dan, Sirin, Evren, Hendler, James, Nau, Dana, Parsia, Bijan
Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planning system (SHOP2)...
Automating DAML-S Web Services Composition Using SHOP2 (1998)
Wu, Dan, Parsia, Bijan, Sirin, Evren, Hendler, James, Nau, Dana
The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited...
HTN Planning for Web Service Composition Using SHOP2 (1998)
Sirin, Evren, Parsia, Bijan, Wu, Dan, Hendler, James, Nau, Dana
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...