default search action
Description Logics 2007: Brixen-Bressanone, Italy
- Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007. CEUR Workshop Proceedings 250, CEUR-WS.org 2007
Invited Talk
- Renée J. Miller:
Retrospective on Clio: Schema Mapping and Data Exchange in Practice.
Session: DL-Lite
- Raffaella Bernardi, Diego Calvanese, Camilo Thorne:
Expressing DL-Lite Ontologies with Controlled English. - Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
A Proof Theory for DL-Lite. - Roman Kontchakov, Frank Wolter, Michael Zakharyaschev:
Modularity in DL-Lite. - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. - Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. - Lina Lubyte, Sergio Tessaris:
Extracting Ontologies from Relational Databases. - Jeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Edward Thomas:
Expressive Querying over Fuzzy DL-Lite Ontologies. - Umberto Straccia, Giulio Visco:
DLMedia: an Ontology Mediated Multimedia Information Retrieval System.
Session: DLs and other Formalisms
- Fangkai Yang, Xiaoping Chen:
DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription. - Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases. - Shoham Ben-David, Richard J. Trefler, Grant E. Weddell:
Modal vs. Propositional Reasoning for model checking with Description Logics. - Nikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina:
Combining Two Formalism for Reasoning about Concepts. - Hassan Aït-Kaci:
Description Logic vs. Order-Sorted Feature Logic. - Francesca A. Lisi:
Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area. - Taufiq Rochaeli, Claudia Eckert:
Model Checking of Restricted CTL* Formulas using ALCK. - C. Maria Keet:
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd. - Hector G. Ceballos, Francisco J. Cantú Ortiz:
Integrating Semantic Annotations in Bayesian Causal Models.
Session: (Conjunctive) Queries
- Carsten Lutz:
Inverse Roles Make Conjunctive Queries Hard. - Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Entailment for SHOQ. - Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer:
Exploiting Conjunctive Queries in Description Logic Programs. - Evgeny Zolin:
Modal Logic Applied to Query Answering and the Case for Variable Modalities. - Manuel Dioturni, Maurizio Iacovella:
Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-in. - Edward Thomas, Jeff Z. Pan:
Efficient Query Answering Through Approximation. - Florian Fuchs, Michael Berger:
Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes. - Amineh Fadhil, Volker Haarslev:
OntoVQL: A Graphical Query Language for OWL Ontologies.
Session: Multiple Ontologies, ABox reasoning & DL Applications
- Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Ontology Reuse: Better Safe than Sorry. - Chiara Ghidini, Luciano Serafini, Sergio Tessaris:
On Relating Heterogeneous Elements from Different Ontologies. - Jianfeng Du, Yi-Dong Shen:
Partitioning ABoxes Based on Converting DL to Plain Datalog. - Vitaliy L. Khizder, David Toman, Grant E. Weddell:
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. - Atila Kaya, Sylvia Melzer, Ralf Möller, Sergio Espinosa, Michael Wessel:
Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction. - Alexander Borgida:
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. - Gianluca Colombo, Daniele Merico, Marco Antoniotti, Flavio De Paoli, Giancarlo Mauri:
Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic. - Martin Homola:
Distributed Description Logics Revisited. - Antoine Zimmermann:
Integrated Distributed Description Logics. - Alessandro Mosca, Matteo Palmonari:
Action Based ABox Update: an Example from the Chemical Compound Formulation.
Invited Talk
- Hector J. Levesque:
Some Further Thoughts on Expressiveness and Tractability.
Session: EL and DL Extensions
- Adila Krisnadhi, Carsten Lutz:
Data Complexity in the EL family of DLs. - Riccardo Rosati:
On Conjunctive Query Answering in EL. - Markus Krötzsch, Sebastian Rudolph:
Conjunctive Queries for EL with Composition of Roles. - Guilin Qi, Jeff Z. Pan, Qiu Ji:
A Possibilistic Extension of Description Logics. - Dave Turner, Jeremy Carroll:
Practical Conforming Datatype Groups. - Sébastien Ferré, Olivier Ridoux:
From Description Logics to Logic Functors, and Back. - Hansje Braam:
Structural Theory of Science as a Systematic Framework for the Design of DL's and CD's for E-science.
Session: Handling Inconsistency
- Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn:
Pinpointing in the Description Logic EL. - Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. - Domenico Lembo, Marco Ruzzi:
Consistent Query Answering over Description Logic Ontologies. - Thorsten Liebig, Stephan Scheele, Julian Lambertz:
Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. - Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek:
Contextualization of a DL Knowledge Base. - Martins Barinskis, Guntis Barzdins:
The Minimal Finite Model Visualization as an Ontology Debugging Tool. - Yue Ma, Pascal Hitzler, Zuoquan Lin:
Paraconsistent Resolution for Four-valued Description Logics.
Session: Reasoning techniques
- Franz Baader, Jan Hladik, Rafael Peñaloza:
Blocking Automata for PSPACE DLs. - Renate A. Schmidt, Dmitry Tishkovsky:
Deciding ALBO with Tableau. - Yu Ding, Volker Haarslev, Jiewen Wu:
A New Mapping from ALCI to ALC. - Boris Motik, Robert D. C. Shearer, Ian Horrocks:
A Hypertableau Calculus for SHIQ. - Jean-David Roubach, Pascal Yim, Joaquin Rodriguez:
Description Logics in the Calculus of Structures. - Yu Ding, Volker Haarslev:
An ExpTime Tableau Decision Procedure for ALCQI. - Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
A Constructive Semantics for ALC. - Heiner Stuckenschmidt:
Approximate Subsumption for Complex Description Logics. - Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching. - Sebastian Wandelt:
Automated Evaluation of Description Logic Reasoning Systems.
Session: (Dis)Similarity
- Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell:
On Ordering Descriptions in a Description Logic. - Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation. - Meghyn Bienvenu:
Consequence Finding in ALC. - Alain Léger, Christophe Rey, Farouk Toumani:
Semantic Difference in ALN. - Boualem Benatallah, Mohand-Said Hacid, Alain Léger, Christophe Rey, Farouk Toumani:
A General Framework for Covering Concepts using Terminologies. - Rudi Araújo, Helena Sofia Pinto:
SEMilarity: Towards a Model-Driven Approach to Similarity. - Nicola Fanizzi, Claudia d'Amato, Floriana Esposito:
Induction of Optimal Semi-distances for Individuals based on Feature Sets. - Changli Zhang, Jian Wu, Zhengguo Hu:
A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing.
Invited Talk
- Alexander Borgida:
Knowledge Representation Meets Databases - a View of the Symbiosys.
Session: Actions and Enhancing reasoning
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
Actions and Programs over Description Logic Ontologies. - Maja Milicic:
Planning in Action Formalisms based on DLs: First Results. - Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin:
Dynamic Description Logic: Embracing Actions into Description Logic. - Anni-Yasmin Turhan, Yusri Bong:
Speeding up Approximation with Nicer Concepts. - Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri:
Optimizing Tableau Reasoning in ALC Extended with Uncertainty.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-05 20:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: