Can owl and logic programming live together happily ever after (2009)
Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
Abstract. Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform...
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...
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure (2009)
The more DLs are being used in applications such as the Semantic Web [2], biology, and the clinical sciences, the more certain expressive weaknesses are commented upon. A recurring set of these...
Understanding Entailments in OWL (2009)
Matthew Horridge, Johannes Bauer, Bijan Parsia, Ulrike Sattler
Abstract. This paper describes the explanation in OWL landscape. In recent years there has been huge progress, both in theory and implementation, in the area of explaining the causes of entailments...
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...
Explanation of OWL Entailments in Protégé 4 (2009)
Matthew Horridge, Bijan Parsia, Ulrike Sattler
This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set...
Bijan Parsia, Ulrike Sattler, Thomas Schneider
Abstract. One of the commonly requested features for OWL is some form of key support, generally phrased as allowing inverse-functional datatype properties. For a variety of technical reasons, these...
Deciding SHOQ ⊓ Knowledge Base Consistency using Alternating Automata (2009)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Abstract. We introduce an automata-based method for deciding the consistency of SHOQ ⊓ knowledge bases. The presented algorithm decides knowledge base consistency in deterministic double...
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...
Rewriting Rules into SROIQ Axioms (2009)
Francis Gasse, Ulrike Sattler, Volker Haarslev
Abstract. Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with two...
Decidability of ¢¡¤£¦ ¥ with Complex Role Inclusion Axioms (2009)
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, §©¨��� � , extended with role inclusion axioms (RIAs) of the form...
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...
The Complexity of the Graded-Calculus (2008)
Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi
Abstract. In classical logic, existential and universal quantifiers express that there exists at least one individual satisfying a formula, or that all individuals satisfy a formula. In many logics,...
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...
Chapter 3 Description Logics (2008)
Franz Baader, Ian Horrocks, Ulrike Sattler
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an application domain in...
Carsten Lutz, Ulrike Sattler, Frank Wolter, Ahornstr Aachen
Modal Logic and the two-variable fragment (Revised Version)
How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (2008)
Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, transitive roles or...
Local Organization: Event4 Event Management Preface (2008)
Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-stokkermans, Ashish Tiwari
on July 15th, 2007, affiliated with the 21st Conference on Automated
Seven Bottlenecks to Workflow Reuse and (2008)
Antoon Goderis, Ulrike Sattler, Phillip Lord, Carole Goble
Abstract. To date on-line processes (i.e. workflows) built in e-Science have been the result of collaborative team efforts. As more of these workflows are built, scientists start sharing and reusing...
Composing and decomposing ontologies: a logic-based approach — A Case for Support (2008)
Principal Investigators, Ulrike Sattler, Frank Wolter, Boris Konev, Bijan Parsia
The project will be jointly undertaken by the University of
Keys, Nominate, and Concrete Domains (2008)
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to "concrete " domains such as numbers and strings. We propose to...
A tableau decision procedure for SHOIQ (2008)
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be decidable, up to...
A tableau decision procedure for SHOIQ (2008)
Abstract. OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be decidable, up to...
Reasoning in Description Logics by a Reduction to Disjunctive Datalog (2008)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Abstract. As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a novel...
Birte Glimm, Ian Horrocks, Ulrike Sattler
Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL...
Seven Bottlenecks to Workflow Reuse and (2008)
Antoon Goderis, Ulrike Sattler, Phillip Lord, Carole Goble
Abstract. To date on-line processes (i.e. workflows) built in e-Science have been the result of collaborative team efforts. As more of these workflows are built, scientists start sharing and reusing...
Using OWL to Model Biological Knowledge Abstract (2008)
Robert Stevens, Mikel Egaña Aranguren, Katy Wolstencroft, Ulrike Sattler, Nick Drummond, Matthew Horridge, ...
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how the modelling...
Constructible Differentially Finite Algebraic Series in Several Variables (2008)
François Bergeron, Ulrike Sattler
We extend the concept of CDF-series to the context of several variables, and show that the series solution of first order differential equations y ′ = x(t, y) and functional equation y = x(t, y),...
Deciding Expressive Description Logics in the Framework of Resolution (2008)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To derive our...
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...
Applying DLs to workflow reuse and repurposing (2008)
Antoon Goderis, Ulrike Sattler, Carole Goble
allowing a scientist to describe and enact their experimental processes in a structured, repeatable and verifiable way. The my Grid (www.mygrid.org.uk) workbench, a set of components to build...
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...
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to “concrete ” domains like numbers and strings with built-in predicates such as...
Hybrid Logics and Ontology Languages (2008)
Ian Horrocks, Birte Glimm, Ulrike Sattler
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
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,...
Keys, Nominals, and Concrete Domains (2008)
Carsten Lutz, Inria Lorraine Nancy, Ian Horrocks, Ulrike Sattler
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to “concrete ” domains like numbers and strings with built-in predicates such as...
Adding Integrity Constraints to OWL (2008)
Boris Motik, Ian Horrocks, Ulrike Sattler
Abstract. Schema statements in OWL are interpreted quite differently from analogous statements in relational databases. If these statements are meant to be interpreted as integrity constraints (ICs),...
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...
Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning – CEDAR'08 (2008)
Baader, Franz, Ghilardi, Silvio, Hermann, Miki, Sattler, Ulrike, Sofronie-Stokkermans, Viorica
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...
Abstract. Automata-theoretic decision procedures for solving modelchecking and satisability problems for temporal, dynamic, and description logics have ourished during the past decades. In the paper...
Keys, Nominals, and Concrete Domains (2007)
Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to “concrete ” domains such as numbers and strings. We propose to extend such DLs...
Keys, Nominals, and Concrete Domains (2007)
Lehrstuhl Für Automatentheorie, Tu Dresden, Carsten Lutz, Carsten Lutz, Carlos Areces, Carlos Areces, ...
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to “concrete ” domains such as numbers and strings with built-in predicates such as...
Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi
Abstract. In classical logic, existential and universal quantifiers express that there exists at least one individual satisfying a formula, or that all individuals satisfy a formula. In many logics,...
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
Abstract. We describe BDD-based decision procedures for K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Our algorithms compute the...
Carsten Lutz, Ulrike Sattler, Frank Wolter
Abstract. We introduce a modal language L which is obtained from standard modal logic by adding the difference operator and modal operators interpreted by boolean combinations and the converse of...
Carsten Lutz, Ulrike Sattler, Frank Wolter
Abstract. We introduce a modal language L which is obtained from standard modal logic by adding the dierence operator and modal operators interpreted by boolean combinations and the converse of...
Finite Model Reasoning in ALCQI is ExpTime-complete (2007)
Carsten Lutz, Ulrike Sattler, Lidia Tendera
Most description logics (DLs) enjoy the finite model property (FMP). This is, for example, the case for ALC [14] and many of its extensions such as ALCI (ALC with inverse roles) and ALCQ (ALC with...
Rwth Aachen, Lufg Theoretische Informatik, Alcni R, Ian Horrocks, Ian Horrocks, Ulrike Sattler, ...
ALCNI R +---ALCNaugmented with transitive and inverse roles---is an expressive Description Logic which is especially well-suited for the representation of complex, aggregated objects. Despite its...
Reasoning In Expressive, Diego Calvanese, Daniele Nardi, Maurizio Lenzerini, Ian Horrocks, ...
this paper, which correspond to a language called ALCQI . For a comprehensive discussion on the constructs used in DLs, see [Woods and Schmolze 1992, De Giacomo 1995, Calvanese 1996c, Donini et al....
Aranguren, Mikel, Bechhofer, Sean, Lord, Phillip, Sattler, Ulrike, Stevens, Robert
Abstract The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology specialists,...
Conjunctive query entailment for SHOQ (2007)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Abstract. An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
Mikel Egaña Aranguren, Sean Bechhofer, Phillip Lord, Ulrike Sattler, Robert Stevens
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology specialists, who hold...
Completing description logic knowledge bases using formal concept analysis (2007)
Franz Baader, Bernhard Ganter, Barıs Sertkaya, Ulrike Sattler
We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert....
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,...
Conjunctive query answering for the description logic SHIQ (2007)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Existing Description Logic (DL) reasoners 1 provide automated reasoning support for checking concepts for satisfiability and subsumption, and also for answering queries that retrieve instances of...
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...
Conjunctive query entailment for SHOQ (2007)
Birte Glimm, Ian Horrocks, Ulrike Sattler
Abstract. An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
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...
Completing description logic knowledge bases using formal concept analysis (2007)
Franz Baader, Bernhard Ganter, Barıs Sertkaya, Ulrike Sattler
We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a domain expert....
Conjunctive query answering for the description logic SHIQ (2007)
Birte Glimm, Ian Horrocks, Ulrike Sattler
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answering in the expressive...
Completing description logic knowledge bases using formal concept analysis (2007)
Franz Baader, Bernhard Ganter, Ulrike Sattler, Tu Dresden
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge base and by a...
Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT'07) (2007)
Ghilardi, Silvio, Sattler, Ulrike, Sofronie-Stokkermans, Viorica, Tiwari, Ashish
Computational modal logic (2006)
Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt
2 Syntax, semantics, and reasoning problems of modal logics........................... 3 3 Translation-based methods........................................... 6 3.1 Local satisfiability in multi...
Can OWL and logic programming live together happily ever after (2006)
Boris Motik, Ian Horrocks, Riccardo Rosati, Ulrike Sattler
Abstract. Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform...
A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (2006)
Abstract. Many modern applications of description logics (DLs) require answering queries over large data quantities, structured according to relatively simple ontologies. For such applications, we...
A case for abductive reasoning over ontologies (2006)
Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler
Abstract. We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce...
Will my ontologies fit together (2006)
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...
The even more irresistible SROIQ (2006)
Ian Horrocks, Oliver Kutz, Ulrike Sattler
We describe an extension of the description logic underlying OWL-DL, SHOIN, with a number of expressive means that we believe will make it more useful in practise. Roughly speaking, we extend SHOIN...
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...
A case for abductive reasoning over ontologies (2006)
Corinna Elsenbroich, Oliver Kutz, Ulrike Sattler
Abstract. We argue for the usefulness of abductive reasoning in the context of ontologies. We discuss several applicaton scenarios in which various forms of abduction would be useful, introduce...
Deciding semantic matching of stateless services (2006)
Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens
We present a novel approach to describe and reason about stateless information processing services. It can be seen as an extension of standard descriptions which makes explicit the relationship...
BDD-based decision procedures for the modal logic K (2006)
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
ABSTRACT. We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we...
Reasoning Support for Ontology Design (2006)
Carsten Lutz, Franz Baader, Einrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, ...
Abstract. The design of comprehensive ontologies is a serious challenge. Therefore, it is necessary to support the ontology designer by providing him with design methodologies, ontology editors, and...
Integrating Description Logics and Relational Databases (2006)
Boris Motik, Ian Horrocks, Ulrike Sattler
In this paper, we compare description logics with relational databases with respect to their treatment of schema constraints, the languages used to express these constraints, and the approaches to...
Reasoning Support for Ontology Design (2006)
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, ...
Abstract. The design of comprehensive ontologies is a serious challenge. Therefore, it is necessary to support the ontology designer by providing him with design methodologies, ontology editors, and...
Description Logics DL’06 (2006)
Bijan Parsia, Ulrike Sattler, David Toman
long-standing tradition of international workshops devoted to discussing developments and applications of knowledge representation formalisms and systems based on Description Logics. The list of the...
TONES Industrial Advisory Team (2006)
F. Baader, D. Calvanese, G. De Giacomo, P. Fillottrani, E. Franconi, B. Cuenca Grau, ...
Number of pages: 91
A tableaux decision procedure for SHOIQ (2005)
OWL DL, a new W3C ontology language recommendation, is based on the expressive description logic SHOIN. Although the ontology consistency problem for SHOIN is known to be decidable, up to now there...
Ian Horrocks, Oliver Kutz, Ulrike Sattler
Abstract. Motivated primarily by medical terminology applications, the prominent DL SHIQ has already been extended to a DL with complex role inclusion axioms of the form R ◦ S ˙ ⊑ R or S ◦ R...
Ian Horrocks, Oliver Kutz, Ulrike Sattler
Abstract. Motivated primarily by medical terminology applications, the prominent DL SHIQ has already been extended to a DL with complex role inclusion axioms of the form R ◦ S ˙ ⊑ R or S ◦ R...
BDD-Based Decision Procedures for the Modal Logic K (2005)
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we compute certain...
A Description Logic Based Approach to Reasoning about (2005)
Web Services Franz, Franz Baader, Carsten Lutz, Maja Miličić, Ulrike Sattler, Frank Wolter
Motivated by the need for semantically well-founded and algorithmically managable formalisms for describing the functionality of Web services, we introduce an action formalism that is based on...
Data Complexity of Reasoning in Very Expressive Description Logics (2005)
Ullrich Hustadt, Boris Motik, Forschungszentrum Informatik, Ulrike Sattler
Data complexity of reasoning in description logics (DLs) estimates the performance of reasoning algorithms measured in the size of the ABox only. We show that, even for the very expressive DL SHIQ,...
Integrating description logics and action formalisms: First results (2005)
Franz Baader, Carsten Lutz, Maja Miličić, Ulrike Sattler, Frank Wolter
We propose an action formalism that is based on description logics (DLs) and may be viewed as an instance of the Situation Calculus (SitCalc). In particular, description logic concepts can be used...
A description logic based approach to reasoning about web services (2005)
Franz Baader, Carsten Lutz, Maja Miličić, Ulrike Sattler, Frank Wolter
Motivated by the need for semantically well-founded and algorithmically managable formalisms for describing the functionality of Web services, we introduce an action formalism that is based on...
A tableaux decision procedure for SHOIQ (2005)
This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ. 1
A Decomposition Rule for Decision Procedures by Resolution-based Calculi (2004)
Ullrich Hustadt, Boris Motik, Ulrike Sattler
Abstract. Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. basic...
Query Answering for OWL-DL with Rules (2004)
Boris Motik, Ulrike Sattler, Rudi Studer
Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the...
Decidability of SHIQ with complex role inclusion axioms (2004)
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ S ⊑ P. We show...
Decidability of SHIQ with complex role inclusion axioms (2004)
Motivated by medical terminology applications, we investigate the decidability of an expressive and prominent description logic (DL), SHIQ, extended with role inclusion axioms of the form R◦S ˙...
Query Answering for OWL-DL with Rules (2004)
Boris Motik, Ulrike Sattler, Rudi Studer
Abstract. Both OWL-DL and function-free Horn rules 3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rules, but...
Decidability of SHIQ with complex role inclusion axioms (2004)
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form Ro S P. We show that this...
Keys, Nominals, and Concrete Domains (2003)
Lutz, Carsten, Areces, Carlos, Horrocks, Ian, Sattler, Ulrike
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to `concrete'' domains such as numbers and strings with built-in predicates such as
Keys, Nominals, and Concrete Domains (2003)
Lutz, Carsten, Areces, Carlos, Horrocks, Ian, Sattler, Ulrike
Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to `concrete'' domains such as numbers and strings with built-in predicates such as
Description logics for ontologies (2003)
Description logics (DLs) [6, 8, 21] are a family of logic-based knowledge representation formalisms designed to represent and reason about the knowledge of an application domain in a structured and...
Description logics as ontology languages for the semantic web (2003)
Franz Baader, Ian Horrocks, Ulrike Sattler
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic...
Decidability of SHIQ with Complex Role Inclusion Axioms (2003)
Lehrstuhl Für Automatentheorie, Tu Dresden, Ian Horrocks, Ulrike Sattler
Motivated by medical terminology applications, we investigate the decidability of an expressive and prominent DL, SHIQ, extended with role inclusion axioms of the form R ◦ S ⊑ T. It is well-known...
DAML+OIL: a description logic for the semantic web (2002)
Franz Baader, Ian Horrocks, Ulrike Sattler
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support the Semantic Web and...
A proposal for describing services with DLs (2002)
Motivated by the semantic web application, we present a generic extension of description logics to describe actions. These actions can then be chained to service descriptions. A web page providing a...
Optimised reasoning for SHIQ (2002)
Rwth Aachen, Lufg Theoretische Informatik, Ian Horrocks, Ian Horrocks, Ulrike Sattler, Ulrike Sattler
The tableau algorithm implemented in the FaCT knowledge representation system decides satisability and subsumption in SHIQ, a very expressive description logic providing, e.g., inverse and transitive...
A proposal for describing services with DLs (2002)
Motivated by the semantic web application, we present a generic extension of description logics to describe actions. These actions can then be chained to service descriptions. A web page providing a...
Modal logic and the two-variable fragment (2001)
Carsten Lutz, Ulrike Sattler, Frank Wolter, Lufg Theoretical, Computer Science, Rwth Aachen
Abstract. We introduce a modal language L which is obtained from standard modal logic by adding the Boolean operators on accessibility relations, the identity relation, and the converse of relations....
The complexity of reasoning with boolean modal logics (2001)
1 Motivation Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators...
Ontology reasoning in the SHOQ(D) description logic (2001)
Ontologies are set to play a key role in the "Semantic Web " by providing a source of shared and precisely defined terms that can be used in descriptions of web resources. Reasoning...
Description logics and the two-variable fragment (2001)
Carsten Lutz, Ulrike Sattler, Frank Wolter
We present a description logic L that is as expressive as the twovariable fragment of first-order logic and differs from other logics with this property in that it encompasses solely standard role-...
Modal logic and the two-variable fragment (2001)
Rwth Aachen, Lufg Theoretische Informatik, Carsten Lutz, Carsten Lutz, Ulrike Sattler, Ulrike Sattler, ...
Modal Logic and the two-variable fragment
The complexity of reasoning with boolean modal logics (2001)
abstract. In this paper, we investigate the complexity of reasoning with various Boolean Modal Logics. The main results are that (i) adding negation of modal parameters to (multi-modal) K makes...
Ulrike Sattler, Moshe Y. Vardi
We present an ExpTime decision procedure for the full µ-Calculus (including converse programs) extended with nominals and a universal program, thus devising a new, highly expressive ExpTime logic....
Description logics and the two-variable fragment (2001)
Carsten Lutz, Ulrike Sattler, Frank Wolter
We present a description logic L that is as expressive as the twovariable fragment of rst-order logic and diers from other logics with this property in that it encompasses solely standard role- and...
The complexity of reasoning with boolean modal logics (2001)
Rwth Aachen, Lufg Theoretische Informatik, Carsten Lutz, Carsten Lutz, Ulrike Sattler, Ulrike Sattler
Since Modal Logics are an extension of Propositional Logic, they provide Boolean operators for constructing complex formulae. However, most Modal Logics do not admit Boolean operators for...
Description Logics and the Two-Variable Fragment (2001)
Carsten Lutz, Ulrike Sattler, Frank Wolter
We present a description logic L that is as expressive as the twovariable fragment of first-order logic and differs from other logics with this property in that it encompasses solely standard role-...
Reasoning with Individuals for the Description Logic SHIQ (2000)
Horrock, Ian, Sattler, Ulrike, Tobies, Stephan
While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this paper we present an...
Practical Reasoning for Expressive Description Logics (2000)
Horrocks, Ian, Sattler, Ulrike, Tobies, Stephan
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
Practical Reasoning for Very Expressive Description Logics (2000)
Horrocks, Ian, Sattler, Ulrike, Tobies, Stephan
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
An overview of tableau algorithms for description logics (2000)
Abstract. Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown...
An overview of tableau algorithms for description logics (2000)
Abstract. Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system KL-ONE. During the last decade, it has been shown...
Most Description Logics (DLs) provide universal value restrictions which allow to make universal statements about domain objects. For example, we can express that an object, say Mary, likes only cats...
How to decide query containment under constraints using a description logic (2000)
Ian Horrocks, Sergio Tessaris, Ulrike Sattler, Stephan Tobies
Query containment under constraints is the problem of determining whether the result of one query is contained in the result of another query for every database satisfying a given set of constraints...
Description Logics for the Representation of Aggregated Objects (2000)
. Aggregated objects play an important role in many knowledge representation applications. For the adequate representation of aggregated objects, it is crucial to represent part-whole relations. We...
Tableau Algorithms for Description Logics (2000)
. Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the...
this paper, we catch up on this and determine the complexity of (i) the extension of ALC with role negation, (ii) the extension of ALC with transitive roles and role negation, and (iii) the extension...
Reasoning with Individuals for the Description Logic (2000)
Shiq Ian Horrocks, Ian Horrocks, Ulrike Sattler, Stephan Tobies
. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this paper we present an...
The Complexity of Reasoning with Boolean Modal Logics (2000)
this paper, we close the gap and determine the complexity of the satisability and validity problems for this set of modal logics. In the rst part of this paper (Sections 2 and 3), we investigate the...
Reasoning with Individuals for the Description Logic SHIQ (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this paper we present an...
Practical Reasoning for Very Expressive Description Logics (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
Practical Reasoning for Very Expressive Description Logics (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
The Complexity of Reasoning with Boolean Modal Logics (2000)
Rwth Aachen, Lufg Theoretische Informatik, Carsten Lutz, Carsten Lutz, Ulrike Sattler, Ulrike Sattler
this paper, we close the gap and determine the complexity of the satisability and validity problems for this set of modal logics. In the rst part of this paper (Sections 2 and 3), we investigate the...
Reasoning with individuals for the description logic SHIQ (2000)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. In this paper we...
How to decide query containment under constraints using a description logic (2000)
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
Abstract. We present a procedure for deciding (database) query containment under constraints. The technique is to extend the logic DLR with an Abox, and to transform query subsumption problems into...
A data warehouse conceptual data model for multidimensional aggregation (1999)
Enrico Franconi, Ulrike Sattler
This paper presents a proposal for a Data Warehouse Conceptual Data Model which allows for the description of both the relevant aggregated entities of the domain---together with their properties and...
A data warehouse conceptual data model for multidimensional aggregation (1999)
Enrico Franconi, Ulrike Sattler
This paper presents a proposal for a Data Warehouse
How to decide Query Containment under Constraints using a Description Logic (1999)
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
. We present a procedure for deciding (database) query containment under constraints. The technique is to extend the logic DLR with an ABox, and to transform query subsumption problems into DLR ABox...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report (1999)
Enrico Franconi, Ulrike Sattler
This paper presents a proposal for a Data Warehouse Conceptual Data Model which allows for the description of both the relevant aggregated entities of the domain--- together with their properties and...
How to decide Query Containment under Constraints using a Description Logic (1999)
Ian Horrocks, Sergio Tessaris, Ulrike Sattler, Stephan Tobies
this paper we present a practical decision procedure for the case where neither the queries nor the constraints contain regular expressions. This represents a restriction with respect to the...
Practical Reasoning for Expressive Description Logics (1999)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation (1999)
Enrico Franconi, Ulrike Sattler
This paper presents a proposal for a Data Warehouse Conceptual Data (CDWDM) Model which allows for the description of both the relevant aggregated entities of the domain---together with their...
Query Containment Using a DLR ABox (1999)
Lufg Theoretische Informatik, Ian Horrocks, Ian Horrocks, Ulrike Sattler, Ulrike Sattler, Sergio Tessaris, ...
Query containment under constraints is the problem of determining whether the result of one query is contained in the result of another query for every database satisfying a given set of constraints....
Practical Reasoning for Expressive Description Logics (1999)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
A Data Warehouse Conceptual Data Model for Multidimensional Aggregation (1999)
Enrico Franconi, Ulrike Sattler
This paper presents a proposal for a Data Warehouse Conceptual Data (CDWDM) Model which allows for the description of both the relevant aggregated entities of the domain---together with their...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
Practical Reasoning for Expressive Description Logics (1999)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
Expressive number restrictions in Description Logics (1999)
Number restrictions are concept constructors that are available in almost all implemented Description Logic systems. However, they are mostly available only in a rather weak form, which considerably...
Query Containment Using a DLR ABox (1999)
Lufg Theoretische Informatik, Ian Horrocks, Ian Horrocks, Ulrike Sattler, Ulrike Sattler, Sergio Tessaris, ...
Query containment under constraints is the problem of determining whether the result of one query is contained in the result of another query for every database satisfying a given set of constraints....
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors...
Practical reasoning for expressive description logics (1999)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role...
[Mikrofiche-Ausg.].
Terminological knowledge representation systems in a process engineering application / (1998)
Zugl.: Aachen, Techn. Hochsch., Diss., 1998.
Description Logics with Aggregates and Concrete Domains, Part II (1998)
Rwth Aachen, Lufg Theoretische Informatik, Franz Baader, Franz Baader, Ulrike Sattler, Ulrike Sattler
We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min; max; count; sum), which are usually available in...
Terminological Knowledge Representation System in a Process Engineering Application (1998)
Ulrike Sattler, Rwth Aachen, Lufg Theoretische Informatik
. The aim of this project is to investigate what kind of terminological knowledge representation system (TKR-system) is able to support the modeling of huge chemical plants. In this highly complex...
Description Logics with Concrete Domains and Aggregation (1998)
Franz Baader, Ulrike Sattler, Informatik V, F. Baader, U. Sattler
We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min; max; count; sum), which are usually available in...
Modeling Multidimensional Databases: A Formal Object-Centered Approach (1998)
Informatik V, M. S. Hacid, U. Sattler, Mohand-said Hacid, Ulrike Sattler
In this paper, we propose a formal framework based on description logics as a basis for both modeling multidimensional databases at the conceptual level and understanding related reasoning problems...
A Description Logic with Transitive and Inverse Roles and Role Hierarchies (1998)
Ian Horrocks Medical, Ian Horrocks, Medical Informatics Group, Ulrike Sattler, Rwth Aachen
eous description of parts by means of the whole to which they belong and of wholes by means of their constituent parts: one or other is possible, but not both. To overcome this limitation, we present...
A Description Logic with Transitive and Converse Roles and Role Hierarchies (1998)
Rwth Aachen, Lufg Theoretische Informatik, Ian Horrocks, Ian Horrocks, Ulrike Sattler, Ulrike Sattler
t, instead of defining yet another DL, one could make use of the results presented in [ De Giacomo & Lenzerini,1996 ] and use ALC extended with role expressions which include transitive closure...
A PSPACE-algorithm for deciding ALCNI_R+-satisfiability (1998)
Ian Horrocks, Ulrike Sattler, Stephan Tobies
ALCNI R +---ALCNaugmented with transitive and inverse roles---is an expressive Description Logic which is especially well-suited for the representation of complex, aggregated objects. Despite its...
Rwth Aachen, Lufg Theoretische Informatik, Ian Horrocks, Ian Horrocks, Ulrike Sattler, Ulrike Sattler, ...
this report extends these results and is presented in Sections 5 and 6. Contents
Description Logics with Concrete Domains and Aggregation (1998)
. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min; max; count; sum), which are usually available...
A Description Logic with Transitive and Inverse Roles and Role Hierarchies (1998)
an open question whether the transitive closure of roles together with inverse roles necessitates the use of the cut rule [2], and this rule leads to an algorithm with very bad behaviour. We will...
A Description Logic with Transitive and Inverse Roles and Role Hierarchies (1998)
Ian Horrocks, Ulrike Sattler, Rwth Aachen
The combination of transitive and inverse roles is important in a range of applications, and is crucial for the adequate representation of aggregated objects, allowing the simultaneous description of...
A Description Logic with Transitive and Inverse Roles and Role Hierarchies (1998)
Ian Horrocks, Medical Informatics Group, Ulrike Sattler, Rwth Aachen
eous description of parts by means of the whole to which they belong and of wholes by means of their constituent parts: one or other is possible, but not both. To overcome this limitation, we present...
An Object-Centered Multi-dimensional Data Model with Hierarchically Structured Dimensions (1997)
Informatik V, M. S. Hacid, U. Sattler, Mohand-sa Hacid, Ulrike Sattler
In this paper, we propose a formal framework based on description logics as a basis for both modeling multidimensional databases and understanding related reasoning problems and services. We extend a...
Description Logics with Aggregates and Concrete Domains (1997)
Informatik V, F. Baader, U. Sattler, Franz Baader, Ulrike Sattler
We show that extending description logics by simple aggregation functions as available in database systems may lead to undecidability of inference problems such as satisfiability and subsumption.
Knowledge Representation in Process Engineering (1996)
In process engineering, as in many other application domains, the domain specific knowledge is far too complex to be described entirely using description logics. Hence this knowledge is often stored...
Knowledge Representation in Process Engineering (1996)
Process engineering is surely no pure configuration application, but modeling the structure of chemical processes confronts us, in the field of knowledge representation, with similar problems. First,...
Description Logics with Symbolic Number Restrictions (1996)
Rwth Aachen, Lufg Theoretische Informatik, Franz Baader, Franz Baader, Ulrike Sattler, Ulrike Sattler
Introduction Terminological knowledge representation systems (TKR systems) are powerful tools not only to represent but also to reason about the knowledge on the terminology of an application domain....
Number Restrictions on Complex Roles in Description Logics (1996)
Lufg Theoretische Informatik, Franz Baader, Franz Baader, Ulrike Sattler, Ulrike Sattler
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort on integrating...
Description Logics with Symbolic Number Restrictions (1996)
. Motivated by a chemical engineering application, we introduce an extension of the concept description language ALCN by symbolic number restrictions. This first extension turns out to have an...
A Concept Language Extended With Different Kinds of Transitive Roles (1996)
Ulrike Sattler, Ulrike Sattler
. Motivated by applications that demand for the adequate representation of part-whole relations, different possibilities of representing transitive relations in terminological knowledge...
Long-patch DNA repair synthesis during base excision repair in mammalian cells
Sattler, Ulrike, Frit, Philippe, Salles, Bernard, Calsou, Patrick
The base excision repair (BER) process removes base damage such as oxidation, alkylation or abasic sites. Two BER sub-pathways have been characterized using in vitro methods, and have been classified...
Long-patch DNA repair synthesis during base excision repair in mammalian cells
Sattler, Ulrike, Frit, Philippe, Salles, Bernard, Calsou, Patrick
The base excision repair (BER) process removes base damage such as oxidation, alkylation or abasic sites. Two BER sub-pathways have been characterized using in vitro methods, and have been classified...
Aranguren, Mikel Egaña, Bechhofer, Sean, Lord, Phillip, Sattler, Ulrike, Stevens, Robert
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology specialists, who hold...
A Concept Language for an engineering application with part--whole relations
this paper, results of an investigation of part--whole relations and their relevance for a process--modeling application are given and a concept--language P with appropriate expressive power is...
Favaro, Elena, Nardo, Giorgia, Persano, Luca, Masiero, Massimo, Moserle, Lidia, Zamarchi, Rita, ...
Hypoxia and the acquisition of a glycolytic phenotype are intrinsic features of the tumor microenvironment. The hypoxia inducible factor-1α (HIF-1α) pathway is activated under hypoxic conditions...