Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription 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.
a service of 
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 2024-04-25 05:25 CEST 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:
