Tasks for Ontology Access, Processing, and Usage Deliverable TONES-D10 (2009)
Diego Calvanese, Enrico Franconi, Birte Glimm, Bernardo Cuenca Grau, Ian Horrocks, Alissa Kaplunova, ...
Research about ontology access, processing, and usage paves the way for realizing important tasks in future applications requiring well-understood formal representation formalisms as well as...
Request for Contributions
The Representation of Structured Objects in DLs using Description Graphs ⋆ (2009)
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
Applications of description logics (DLs) often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although DLs are...
Modeling Ontologies Using OWL, Description Graphs, and Rules (2009)
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler
Ontologies often describe structured objects, which consist of many parts interconnected in complex ways. Such objects abound in molecular biology and the clinical sciences. Clinical ontologies such...
Will My Ontologies Fit Together? A preliminary investigation. (2009)
Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
In realistic applications, it is often desirable to integrate different ontologies 1 into a single, reconciled ontology. Ideally, one would expect the individual ontologies to be developed as...
Bernardo Cuenca Grau, Dpto De Informática, Combinación E Integración, De Ontologías, Presentada Al, Dpto De Informática, ...
ACKNOWLEDGEMENTS: First of all, I am very grateful to my advisors Gregorio Martín and James Hendler for their support and help during these years. I also want to especially thank Bijan Parsia for...
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support (2008)
Ernesto Jiménez-ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga
Abstract Driven by application requirements and using well-understood theoretical results, we describe a novel methodology and a tool for modular ontology design. We support the user in the safe use...
Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments (2008)
Aditya Kalyanpur, Bijan Parsia, Bernardo Cuenca Grau
The Ontology Engineering community widely agrees on the importance of helping the user understand the output of a DL reasoner. The most recent approaches to the problem [4] [3] are based on the...
History Matters: Incremental Ontology Reasoning Using Modules (2008)
Bernardo Cuenca Grau, Christian Halaschek-wiener, Yevgeny Kazakov
Abstract. The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between different...
Information Management Group (2008)
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...
From SHOQ(D) Toward E-connections (2008)
Bernardo Cuenca Grau, Bijan Parsia
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant sublanguages of basic...
History Matters: Incremental Ontology Reasoning Using Modules (2008)
Bernardo Cuenca Grau, Christian Halaschek-wiener, Yevgeny Kazakov
Abstract. The development of ontologies involves continuous but relatively small modifications. Existing ontology reasoners, however, do not take advantage of the similarities between different...
ABSTRACT Just the Right Amount: Extracting Modules from Ontologies ∗ (2008)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a given set of terms,...
FP6-7603 – TONES Thinking ONtologiES WP4 (2008)
Diego Calvanese, Birte Glimm, Bernardo Cuenca Grau, Volker Haarslev, Ian Horrocks, Alissa Kaplunova, ...
FP6-7603 – TONES Thinking ONtologiES WP4 This report summarizes the reasoning techniques and algorithms developed in the TONES project that realize the reasoning services identified as fundamental...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a given set of terms,...
Will My Ontologies Fit Together? A preliminary investigation. (2008)
Bernardo Cuenca Grau, Ian Horrocks, Oliver Kutz, Ulrike Sattler
In realistic applications, it is often desirable to integrate different ontologies 1 into a single, reconciled ontology. Ideally, one would expect the individual ontologies to be developed as...
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...
ABSTRACT Just the Right Amount: Extracting Modules from Ontologies (2008)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a given set of terms,...
Structured Objects in OWL: Representation and Reasoning (2008)
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
Applications of semantic technologies often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although OWL is a...
Modular Reuse of Ontologies: Theory and Practice (2008)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies. In order to formalize these tasks as reasoning problems, we introduce the notions of conservative...
Ernesto Jiménez-ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga
Ontology design and maintenance require an expertise in both the domain of application and the ontology language. Realistic ontologies typically model different aspects of an application domain at...
From SHOQ(D) Toward E-connections (2007)
Bernardo Cuenca Grau, Bijan Parsia
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant sublanguages of basic...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
The design, maintenance, reuse, and integration of ontologies are complex tasks. Like software engineers, ontology engineers need to be supported by tools and methodologies that help them to minimize...
A logical framework for modularity of ontologies (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion...
A logical framework for modularity of ontologies (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
The design, maintenance, reuse, and integration of ontologies are complex tasks. Like software engineers, ontology engineers need to be supported by tools and methodologies that help them to minimize...
U.: Extracting modules from ontologies: A logic-based approach (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
The design, maintenance, reuse, and integration of ontologies are highly complex tasks— especially for ontologies formulated in a logic-based language such as OWL. Like software engineers,...
U.: A logical framework for modular integration of ontologies (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion...
A logical framework for modularity of ontologies (2007)
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and thus a useful notion...
Diego Calvanese, Bernardo Cuenca Grau, Enrico Franconi, Ian Horrocks, Alissa Kaplunova, Carsten Lutz, ...
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...
Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-schneider, Ulrike Sattler
Abstract. OWL 1.1 is a simple extension of the OWL DL species of the W3C OWL Web Ontology Language. OWL 1.1 has been designed to provide some interesting and useful expressive additions to OWL DL...
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...
Enrico Franconi (editor, Sergio Tessaris, Bernardo Cuenca Grau, Boontawee Suntisrivaraporn, Carsten Lutz, Ralf Möller, ...
Number of pages: 56FP6-7603 – TONES Thinking ONtologiES WP1 Based on the review of the state of the art (Deliverable D1), suitable reasoning and meta-reasoning mechanisms associated to the...
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...
First of all, I am very grateful to my advisors Gregorio Martín and James Hendler for their support and help during these years. I also want to especially thank Bijan Parsia for providing lots of...
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...
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...
B.C.: Representing Qualitative Spatial Information in OWL-DL (2005)
Yarden Katz, Bernardo Cuenca Grau
The Web Ontology Language has not been designed for representing spatial information, which is often required for applications such as Spatial Databases and Geographical Information Systems. As a...
A Possible Simplification of the Semantic Web Architecture (2004)
In the semantic Web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, like OWL, on top of...
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...
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...
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...