Search results for "description logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andreas Steigmiller, Thorsten Liebig, Birte Glimm	Extended Caching and Backjumping for Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
3	Francesca A. Lisi	A Formal Characterization of Concept Learning in Description Logics.	Description Logics	2012	DBLP BibTeX RDF
3	Piero A. Bonatti	Defaults in Description Logics: So Simple, So Difficult.	Description Logics	2012	DBLP BibTeX RDF
3	Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler	Concept-Based Semantic Difference in Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
3	Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati	Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.	Description Logics	2012	DBLP BibTeX RDF
3	Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski	Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.	Description Logics	2012	DBLP BibTeX RDF
3	Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz	Equality-Friendly Well-Founded Semantics and Applications to Description Logics.	Description Logics	2012	DBLP BibTeX RDF
3	Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks	Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
3	Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.	Description Logics	2012	DBLP BibTeX RDF
3	Luciano Serafini, Martin Homola	Contextual Representation and Reasoning with Description Logics.	Description Logics	2011	DBLP BibTeX RDF
3	Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler	Nominal Schemas for Integrating Rules and Description Logics.	Description Logics	2011	DBLP BibTeX RDF
3	Carsten Lutz, Frank Wolter	Non-Uniform Data Complexity of Query Answering in Description Logics.	Description Logics	2011	DBLP BibTeX RDF
3	Szymon Klarman, Víctor Gutiérrez-Basulto	Two-Dimensional Description Logics of Context.	Description Logics	2011	DBLP BibTeX RDF
3	Norihiro Kamide	Paraconsistent Description Logics Revisited.	Description Logics	2010	DBLP BibTeX RDF
3	Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou	Optimization Techniques for Fuzzy Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Yue Ma, Pascal Hitzler	Distance-based Measures of Inconsistency and Incoherency for Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Chan Le Duc, Myriam Lamolle	Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.	Description Logics	2010	DBLP BibTeX RDF
3	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone	Second-Order Description Logics: Semantics, Motivation, and a Calculus.	Description Logics	2010	DBLP BibTeX RDF
3	Norihiro Kamide	A Compatible Approach to Temporal Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Inanç Seylan, Enrico Franconi, Jos de Bruijn	Optimal Rewritings in Definitorially Complete Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek	A Semantic Algebra for Modularized Description Logics Knowledge Bases.	Description Logics	2009	DBLP BibTeX RDF
3	Giorgos Stoilos, Giorgos B. Stamou	A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo	Using Description Logics in Relation Based Access Control.	Description Logics	2009	DBLP BibTeX RDF
3	Felix Distel	Model-Based Most Specific Concepts in Some Inexpressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati	On Higher-Order Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Katarina Britz, Johannes Heidema, Tommie Meyer	Modelling Object Typicality in Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Oliver Gries	Generalized Closed World Reasoning in Description Logics with Extended Domain Closure.	Description Logics	2009	DBLP BibTeX RDF
3	Thomas Lukasiewicz, Azzurra Ragone	A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation.	Description Logics	2009	DBLP BibTeX RDF
3	Pavel Klinov, Bijan Parsia, Ulrike Sattler	On Correspondences between Probabilistic First-Order and Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin	Quasi-Classical Semantics for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Espen H. Lian, Arild Waaler	An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).	Description Logics	2009	DBLP BibTeX RDF
3	Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio	A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.	Description Logics	2009	DBLP BibTeX RDF
3	Limin Chen, Hong Hu, Zhongzhi Shi	Web Service Composition as Satisfiability Checking in Dynamic Description Logics.	GCC	2009	DBLP DOI BibTeX RDF	dynamic description logics, Semantic Web, satisfiability, description logics, Web service composition
3	Magdalena Ortiz, Diego Calvanese, Thomas Eiter	Data Complexity of Query Answering in Expressive Description Logics via Tableaux.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Expressive description logics, Query answering, Data complexity
3	Mira Balaban, Azzam Maraee	A UML-Based Method for Deciding Finite Satisfiability in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Peihong Ke, Ulrike Sattler	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.	Description Logics	2008	DBLP BibTeX RDF
3	Guilin Qi, Fangkai Yang	A Survey of Revision Approaches in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	David Toman, Grant E. Weddell	Identifying Objects Over Time with Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Yue Ma, Pascal Hitzler, Zuoquan Lin	Paraconsistent Reasoning for Expressive and Tractable Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini	Partial and Informative Common Subsumers of Concepts Collections in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Saïd Radhouani, Gilles Falquet	Description Logics-Based Modelling for Precise Information Retrieval.	Description Logics	2008	DBLP BibTeX RDF
3	Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.	Description Logics	2008	DBLP BibTeX RDF
3	Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier	Consistency Checking for Extended Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	DL-Lite, Description logics, Query answering, Ontology languages
3	Ullrich Hustadt, Boris Motik, Ulrike Sattler	Reasoning in Description Logics by a Reduction to Disjunctive Datalog.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Description logics, Data complexity, Disjunctive datalog
3	Mauro Dragoni, Andrea Tettamanzi	Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers.	GECCO	2007	DBLP DOI BibTeX RDF	fuzzy quantification, evolutionary algorithms, fuzzy logic, description logics
3	Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	Description Logics	2007	DBLP BibTeX RDF
3	Martin Homola	Distributed Description Logics Revisited.	Description Logics	2007	DBLP BibTeX RDF
3	Yue Ma, Pascal Hitzler, Zuoquan Lin	Paraconsistent Resolution for Four-valued Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Heiner Stuckenschmidt	Approximate Subsumption for Complex Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Jean-David Roubach, Pascal Yim, Joaquin Rodriguez	Description Logics in the Calculus of Structures.	Description Logics	2007	DBLP BibTeX RDF
3	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Modal vs. Propositional Reasoning for model checking with Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Antoine Zimmermann	Integrated Distributed Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Sébastien Ferré, Olivier Ridoux	From Description Logics to Logic Functors, and Back.	Description Logics	2007	DBLP BibTeX RDF
3	Fangkai Yang, Xiaoping Chen	DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription.	Description Logics	2007	DBLP BibTeX RDF
3	Guilin Qi, Jeff Z. Pan, Qiu Ji	A Possibilistic Extension of Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Jia Tao, Zhao Wen, Wang Hanpin, Wang Lifu	PrDLs: A New Kind of Probabilistic Description Logics About Belief.	IEA/AIE	2007	DBLP DOI BibTeX RDF	Ontology, Knowledge Representation, Description Logics, Model-based Reasoning, Probabilistic, Reasoning under Uncertainty
3	Guilin Qi, Weiru Liu, David A. Bell	A revision-based approach to handling inconsistency in description logics.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Semantic web, Knowledge representation, Description logics, Stratification, Inconsistency handling
3	Giorgos Stoilos, Giorgos B. Stamou	Euclidian Roles in Description Logics.	Description Logics	2006	DBLP BibTeX RDF
3	Birte Glimm, Ian Horrocks, Ulrike Sattler	Conjunctive Query Answering for Description Logics with Transitive Roles.	Description Logics	2006	DBLP BibTeX RDF
3	Alexander K. Hudek, Grant E. Weddell	Binary Absorption in Tableaux-Based Reasoning for Description Logics.	Description Logics	2006	DBLP BibTeX RDF
3	Ralf Möller, Sylvia Melzer	How sensor data interpretation could benefit from description logics: A practical case study.	Description Logics	2006	DBLP BibTeX RDF
3	Jan Hladik, Rafael Peñaloza	PSPACE Automata for Description Logics.	Description Logics	2006	DBLP BibTeX RDF
3	Yu Ding, Volker Haarslev	Tableau Caching for Description Logics with Inverse and Transitive Roles.	Description Logics	2006	DBLP BibTeX RDF
3	Xi Deng, Volker Haarslev, Nematollaah Shiri	A Resolution Based Framework to Explain Reasoning in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
3	Antoon Goderis, Ulrike Sattler, Carole A. Goble	Applying Description Logics for Workflow Reuse and Repurposing.	Description Logics	2005	DBLP BibTeX RDF
3	Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen	A new n-ary existential quantifier in description logics.	Description Logics	2005	DBLP BibTeX RDF
3	Yu Ding, Volker Haarslev	Towards Efficient Reasoning for Description Logics with Inverse Roles.	Description Logics	2005	DBLP BibTeX RDF
3	Ullrich Hustadt, Boris Motik	Description Logics and Disjunctive Datalog - The Story so Far.	Description Logics	2005	DBLP BibTeX RDF
3	Alexander Borgida, Thomas J. Walsh, Haym Hirsh	Towards Measuring Similarity in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
3	Jeff Z. Pan	A Scheme for Integrating Datatype Groups into Description Logics.	Description Logics	2005	DBLP BibTeX RDF
3	David Toman, Grant E. Weddell	On Path-functional Dependencies as First-class Citizens in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
3	Lilia Georgieva, Patrick Maier	Towards Using Description Logics for Symbolic Shape Analysis.	Description Logics	2005	DBLP BibTeX RDF
3	Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter	Integrating Description Logics and Action Formalisms: First Results.	Description Logics	2005	DBLP BibTeX RDF
3	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati	Data Complexity of Query Answering in Description Logics.	Description Logics	2005	DBLP BibTeX RDF
3	Daniela Berardi	Description Logics for e-Service Composition.	Description Logics	2004	DBLP BibTeX RDF
3	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo	Towards Implementing Finite Model Reasoning in Description Logics.	Description Logics	2004	DBLP BibTeX RDF
3	Luciano Serafini, Andrei Tamilin	Local Tableaux for Reasoning in Distributed Description Logics.	Description Logics	2004	DBLP BibTeX RDF
3	Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann	Optimizing the Evaluation of XPath Using Description Logics.	INAP/WLP	2004	DBLP DOI BibTeX RDF	XML, Description Logics, XPath, automated reasoning, Schema, DTD
3	Enrico Franconi, David Toman	Fixpoint Extensions of Temporal Description Logics.	Description Logics	2003	DBLP BibTeX RDF
3	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella	e-Service Composition by Description Logics Based Reasoning.	Description Logics	2003	DBLP BibTeX RDF
3	Oliver Kutz, Carsten Lutz, Frank Wolter, Michael Zakharyaschev	E-connections of Description Logics.	Description Logics	2003	DBLP BibTeX RDF
3	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	Concept Abduction and Contraction in Description Logics.	Description Logics	2003	DBLP BibTeX RDF
3	Shinyoung Lim	Status Report on Description Logics related Project in Korea.	Description Logics	2003	DBLP BibTeX RDF
3	Lubomir Stanchev, Grant E. Weddell	Index Selection for Embedded Control Applications using Description Logics.	Description Logics	2003	DBLP BibTeX RDF
3	Francesco M. Donini, Daniele Nardi, Riccardo Rosati	Description logics of minimal knowledge and negation as failure.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics
3	Mathieu Roger, Ana Simonet, Michel Simonet	Toward Updates in Description Logics.	Description Logics	2002	DBLP BibTeX RDF
3	Martin Peim, Enrico Franconi, Norman W. Paton, Carole A. Goble	Querying Objects with Description Logics.	Description Logics	2002	DBLP BibTeX RDF
3	Piero A. Bonatti	Towards Service Description Logics.	JELIA	2002	DBLP DOI BibTeX RDF	Semantic Web, Description Logics
3	Carsten Lutz, Ulrike Sattler, Frank Wolter	Description Logics and the Two-Variable Fragment.	Description Logics	2001	DBLP BibTeX RDF
3	Michael Wessel	Obstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results.	Description Logics	2001	DBLP BibTeX RDF
3	Volker Haarslev, Ralf Möller	Optimizing Reasoning in Description Logics with Qualified Number Restrictions.	Description Logics	2001	DBLP BibTeX RDF
3	Fabio Grandi	On Expressive Number Restrictions in Description Logics.	Description Logics	2001	DBLP BibTeX RDF
3	Jérôme Euzenat	Preserving Modularity in XML Encoding of Description Logics.	Description Logics	2001	DBLP BibTeX RDF
3	David Toman, Grant E. Weddell	On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.	Description Logics	2001	DBLP BibTeX RDF
3	Deborah L. McGuinness	Description Logics Emerge from Ivory Towers.	Description Logics	2001	DBLP BibTeX RDF
3	Alexander Borgida	Diachronic Description Logics.	Description Logics	2001	DBLP BibTeX RDF
3	François Goasdoué, Marie-Christine Rousset	Rewriting Conjunctive Queries using Views in Description Logics with Existential Restrictions.	Description Logics	2000	DBLP BibTeX RDF
3	Liviu Badea, Shan-Hwei Nienhuys-Cheng	Refining Concepts in Description Logics.	Description Logics	2000	DBLP BibTeX RDF