Abstract is missing.
- Some Further Thoughts on Expressiveness and TractabilityHector J. Levesque. [doi]
- Ontology Reuse: Better Safe than SorryBernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler. [doi]
- Paraconsistent Resolution for Four-valued Description LogicsYue Ma, Pascal Hitzler, Zuoquan Lin. [doi]
- OntoVQL: A Graphical Query Language for OWL OntologiesAmineh Fadhil, Volker Haarslev. [doi]
- An ExpTime Tableau Decision Procedure for ALCQIYu Ding, Volker Haarslev. [doi]
- Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description LogicGianluca Colombo, Daniele Merico, Marco Antoniotti, Flavio De Paoli, Giancarlo Mauri. [doi]
- Dynamic Description Logic: Embracing Actions into Description LogicLiang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin. [doi]
- Description Logic vs. Order-Sorted Feature LogicHassan Aït-Kaci. [doi]
- Partitioning ABoxes Based on Converting DL to Plain DatalogJianfeng Du, Yi-Dong Shen. [doi]
- Deciding ALBO with TableauRenate A. Schmidt, Dmitry Tishkovsky. [doi]
- A Boolean Lattice Based Improved Fuzzy Description Logic in Web ComputingChangli Zhang, Jian Wu, Zhengguo Hu. [doi]
- Exploiting Description Logic Reasoners in Inductive LogicFrancesca A. Lisi. [doi]
- On Conjunctive Query Answering in ELRiccardo Rosati. [doi]
- DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral NegotiationAzzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini. [doi]
- Planning in Action Formalisms based on DLs: First ResultsMaja Milicic. [doi]
- Efficient Query Answering Through ApproximationEdward Thomas, Jeff Z. Pan. [doi]
- A Hypertableau Calculus for SHIQBoris Motik, Rob Shearer, Ian Horrocks. [doi]
- On Importing Knowledge from DL Ontologies: Some Intuitions and ProblemsAlexander Borgida. [doi]
- Expressing DL-Lite Ontologies with Controlled EnglishRaffaella Bernardi, Diego Calvanese, Camilo Thorne. [doi]
- Consequence Finding in ALCMeghyn Bienvenu. [doi]
- Explaining Subsumption and Patching Non-Subsumption with Tableaux MethodsThorsten Liebig, Stephan Scheele, Julian Lambertz. [doi]
- On Ordering Descriptions in a Description LogicJeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell. [doi]
- Automated Evaluation of Description Logic Reasoning SystemsSebastian Wandelt. [doi]
- A Well-founded Semantics for Hybrid MKNF Knowledge BasesMatthias Knorr, José Júlio Alferes, Pascal Hitzler. [doi]
- Structural Theory of Science as a Systematic Framework for the Design of DL s and CD s for E-scienceHansje Braam. [doi]
- A General Framework for Covering Concepts using TerminologiesBoualem Benatallah, Mohand-Said Hacid, Alain Léger, Christophe Rey, Farouk Toumani. [doi]
- Exploiting Conjunctive Queries in Description Logic ProgramsThomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer. [doi]
- Action Based ABox Update: an Example from the Chemical Compound FormulationAlessandro Mosca, Matteo Palmonari. [doi]
- Inverse Roles Make Conjunctive Queries HardCarsten Lutz. [doi]
- MASTRO-I: Efficient Integration of Relational Data through DL OntologiesDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati. [doi]
- DL_clog: A Hybrid System Integrating Rules and Description Logics with CircumscriptionFangkai Yang, Xiaoping Chen. [doi]
- Pinpointing in the Description Logic ELFranz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn. [doi]
- Description Logics in the Calculus of StructuresJean-David Roubach, Pascal Yim, Joaquin Rodriguez. [doi]
- Actions and Programs over Description Logic OntologiesDiego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. [doi]
- Conjunctive Query Entailment for SHOQBirte Glimm, Ian Horrocks, Ulrike Sattler. [doi]
- Conjunctive Queries for EL with Composition of RolesMarkus Krötzsch, Sebastian Rudolph. [doi]
- Distributed Description Logics RevisitedMartin Homola. [doi]
- Induction of Optimal Semi-distances for Individuals based on Feature SetsNicola Fanizzi, Claudia d Amato, Floriana Esposito. [doi]
- SEMilarity: Towards a Model-Driven Approach to SimilarityRudi Araújo, Helena Sofia Pinto. [doi]
- Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxesFlorian Fuchs, Michael Berger. [doi]
- Measuring Inconsistency for Description Logics Based on Paraconsistent SemanticsYue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin. [doi]
- Optimizing Tableau Reasoning in ALC Extended with UncertaintyVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri. [doi]
- Retrospective on Clio: Schema Mapping and Data Exchange in PracticeRenée J. Miller. [doi]
- Practical Conforming Datatype GroupsDave Turner, Jeremy Carroll. [doi]
- Semantic Difference in ALNAlain Léger, Christophe Rey, Farouk Toumani. [doi]
- DLMedia: an Ontology Mediated Multimedia Information Retrieval SystemUmberto Straccia, Giulio Visco. [doi]
- The Minimal Finite Model Visualization as an Ontology Debugging ToolMartins Barinskis, Guntis Barzdins. [doi]
- Integrated Distributed Description LogicsAntoine Zimmermann. [doi]
- A Proof Theory for DL-LiteDiego Calvanese, Evgeny Kharlamov, Werner Nutt. [doi]
- Towards a Foundation for Knowledge Management: Multimedia Interpretation as AbductionAtila Kaya, Sylvia Melzer, Ralf Möller, Sergio Espinosa, Michael Wessel. [doi]
- Model Checking of Restricted CTL* Formulas using ALCKTaufiq Rochaeli, Claudia Eckert. [doi]
- Modularity in DL-LiteRoman Kontchakov, Frank Wolter, Michael Zakharyaschev. [doi]
- Integrating Semantic Annotations in Bayesian Causal ModelsHector G. Ceballos, Francisco J. Cantú Ortiz. [doi]
- Adding ABoxes to a Description Logic with Uniqueness Constraints via Path AgreementsVitaliy L. Khizder, David Toman, Grant E. Weddell. [doi]
- A Possibilistic Extension of Description LogicsGuilin Qi, Jeff Z. Pan, Qiu Ji. [doi]
- Contextualization of a DL Knowledge BaseKrzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek. [doi]
- Approximate Subsumption for Complex Description LogicsHeiner Stuckenschmidt. [doi]
- A Constructive Semantics for ALCLoris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. [doi]
- Tools for the QuOnto System - Conversion between OWL and DL-Lite with Protégé-OWL Plug-inManuel Dioturni, Maurizio Iacovella. [doi]
- From Description Logics to Logic Functors, and BackSébastien Ferré, Olivier Ridoux. [doi]
- EXPTIME Tableaux for ALC Using Sound Global CachingRajeev Goré, Linh Anh Nguyen. [doi]
- On Relating Heterogeneous Elements from Different OntologiesChiara Ghidini, Luciano Serafini, Sergio Tessaris. [doi]
- Combining Two Formalism for Reasoning about ConceptsNikolay V. Shilov, Igor S. Anureev, Natalya Olegovna Garanina. [doi]
- Modal Logic Applied to Query Answering and the Case for Variable ModalitiesEvgeny Zolin. [doi]
- Data Complexity in the EL family of DLsAdila Krisnadhi, Carsten Lutz. [doi]
- Modal vs. Propositional Reasoning for model checking with Description LogicsShoham Ben-David, Richard J. Trefler, Grant E. Weddell. [doi]
- Consistent Query Answering over Description Logic OntologiesDomenico Lembo, Marco Ruzzi. [doi]
- Expressive Querying over Fuzzy DL-Lite OntologiesJeff Z. Pan, Giorgos B. Stamou, Giorgos Stoilos, Edward Thomas. [doi]
- Extracting Ontologies from Relational DatabasesLina Lubyte, Sergio Tessaris. [doi]
- Blocking Automata for PSPACE DLsFranz Baader, Jan Hladik, Rafael Peñaloza. [doi]
- Complexity of Reasoning in Entity Relationship ModelsAlessandro Artale, Diego Calvanese, Roman Kontchakov, V. Ryzhikov, Michael Zakharyaschev. [doi]
- Speeding up Approximation with Nicer ConceptsAnni-Yasmin Turhan, Yusri Bong. [doi]
- A New Mapping from ALCI to ALCYu Ding, Volker Haarslev, Jiewen Wu. [doi]
- Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifdC. Maria Keet. [doi]
- Knowledge Representation Meets Databases - a View of the SymbiosysAlexander Borgida. [doi]