Search results for "description"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Samantha Bail, Bijan Parsia, Ulrike Sattler	Diversity of Reason: Equivalence Relations over Description Logic Explanations.	Description Logics	2012	DBLP BibTeX RDF
28	Piero A. Bonatti	Defaults in Description Logics: So Simple, So Difficult.	Description Logics	2012	DBLP BibTeX RDF
28	Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati 0001	Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.	Description Logics	2012	DBLP BibTeX RDF
28	Carsten Lutz, Frank Wolter	Non-Uniform Data Complexity of Query Answering in Description Logics.	Description Logics	2011	DBLP BibTeX RDF
28	Fabiano Corrêa, Fábio Gagliardi Cozman, Jun Okamoto Jr.	Collective Classification in Semantic Mapping with a Probabilistic Description Logic.	Description Logics	2011	DBLP BibTeX RDF
28	Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001	Mapping Data to Higher-Order Description Logic Knowledge Bases.	Description Logics	2011	DBLP BibTeX RDF
28	Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler	Nominal Schemas for Integrating Rules and Description Logics.	Description Logics	2011	DBLP BibTeX RDF
28	Fred Freitas	A Connection Method for Inferencing over the Description Logic ALC.	Description Logics	2011	DBLP BibTeX RDF
28	Szymon Klarman, Víctor Gutiérrez-Basulto	Two-Dimensional Description Logics of Context.	Description Logics	2011	DBLP BibTeX RDF
28	Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris	Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology.	Description Logics	2011	DBLP BibTeX RDF
28	Henrique Viana, João F. L. Alcântara, Ana Teresa C. Martins	Paraconsistent Rough Description Logic.	Description Logics	2011	DBLP BibTeX RDF
28	Franz Baader, Thanh Binh Nguyen 0003, Stefan Borgwardt, Barbara Morawska 0001	Unification in the Description Logic EL without the Top Concept.	Description Logics	2011	DBLP BibTeX RDF
28	Luciano Serafini, Martin Homola	Contextual Representation and Reasoning with Description Logics.	Description Logics	2011	DBLP BibTeX RDF
28	Despoina Magka, Yevgeny Kazakov, Ian Horrocks 0001	Tractable Extensions of the Description Logic EL with Numerical Datatypes.	Description Logics	2010	DBLP BibTeX RDF
28	Quentin Reul, Jeff Z. Pan	KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies.	Description Logics	2010	DBLP BibTeX RDF
28	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
28	Norihiro Kamide	A Compatible Approach to Temporal Description Logics.	Description Logics	2010	DBLP BibTeX RDF
28	Yue Ma 0009, Pascal Hitzler	Distance-based Measures of Inconsistency and Incoherency for Description Logics.	Description Logics	2010	DBLP BibTeX RDF
28	C. Maria Keet	On the feasibility of Description Logic knowledge bases with rough concepts and vague instances.	Description Logics	2010	DBLP BibTeX RDF
28	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
28	Inanç Seylan, Enrico Franconi, Jos de Bruijn	Optimal Rewritings in Definitorially Complete Description Logics.	Description Logics	2010	DBLP BibTeX RDF
28	Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou	Optimization Techniques for Fuzzy Description Logics.	Description Logics	2010	DBLP BibTeX RDF
28	Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz 0001, Mantas Simkus	Query Answering in the Description Logic S.	Description Logics	2010	DBLP BibTeX RDF
28	Norihiro Kamide	Paraconsistent Description Logics Revisited.	Description Logics	2010	DBLP BibTeX RDF
28	Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek	A Semantic Algebra for Modularized Description Logics Knowledge Bases.	Description Logics	2009	DBLP BibTeX RDF
28	Xiaowang Zhang, Zhihu Zhang, Zuoquan Lin	An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC.	Description Logics	2009	DBLP BibTeX RDF
28	Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001	On Higher-Order Description Logics.	Description Logics	2009	DBLP BibTeX RDF
28	Thomas Lukasiewicz, Azzurra Ragone	A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation.	Description Logics	2009	DBLP BibTeX RDF
28	Espen H. Lian, Arild Waaler	An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).	Description Logics	2009	DBLP BibTeX RDF
28	Zhi Qiang Zhuang, Maurice Pagnucco	Belief Contraction in the Description Logic EL.	Description Logics	2009	DBLP BibTeX RDF
28	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
28	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
28	Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell	Fair Cycle Detection using Description Logic Reasoning.	Description Logics	2009	DBLP BibTeX RDF
28	Zsolt Zombori, Gergely Lukácsy	A Resolution Based Description Logic Calculus.	Description Logics	2009	DBLP BibTeX RDF
28	Felix Distel	Model-Based Most Specific Concepts in Some Inexpressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
28	Baris Sertkaya	OntoComP System Description.	Description Logics	2009	DBLP BibTeX RDF
28	Boris Konev, Dirk Walther 0002, Frank Wolter	Forgetting and Uniform Interpolation in Extensions of the Description Logic EL.	Description Logics	2009	DBLP BibTeX RDF
28	Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo	Using Description Logics in Relation Based Access Control.	Description Logics	2009	DBLP BibTeX RDF
28	Xiaowang Zhang, Guilin Qi, Yue Ma 0009, Zuoquan Lin	Quasi-Classical Semantics for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
28	Irma Sofía Espinosa Peraldí, Atila Kaya, Ralf Möller 0001	Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes.	Description Logics	2009	DBLP BibTeX RDF
28	Giorgos Stoilos, Giorgos B. Stamou	A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics.	Description Logics	2009	DBLP BibTeX RDF
28	Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez	Testing Provers on a Grid - Framework Description.	Description Logics	2009	DBLP BibTeX RDF
28	Franz Baader, Barbara Morawska 0001	Unification in the Description Logic EL.	Description Logics	2009	DBLP BibTeX RDF
28	Katarina Britz, Johannes Heidema, Tommie Meyer	Modelling Object Typicality in Description Logics.	Description Logics	2009	DBLP BibTeX RDF
28	Pavel Klinov, Bijan Parsia, Ulrike Sattler	On Correspondences between Probabilistic First-Order and Description Logics.	Description Logics	2009	DBLP BibTeX RDF
28	Oliver Gries	Generalized Closed World Reasoning in Description Logics with Extended Domain Closure.	Description Logics	2009	DBLP BibTeX RDF
28	Fernando Náufel do Amaral, Carlos Bazilio Martins	Visualization of Description Logic Models.	Description Logics	2008	DBLP BibTeX RDF
28	Peihong Ke, Ulrike Sattler	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.	Description Logics	2008	DBLP BibTeX RDF
28	Mira Balaban, Azzam Maraee	A UML-Based Method for Deciding Finite Satisfiability in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
28	Guilin Qi, Fangkai Yang	A Survey of Revision Approaches in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
28	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
28	Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier	Consistency Checking for Extended Description Logics.	Description Logics	2008	DBLP BibTeX RDF
28	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
28	Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler	The Representation of Structured Objects in DLs using Description Graphs.	Description Logics	2008	DBLP BibTeX RDF
28	Martin Homola	Subsumption Propagation between Remote Ontologies in Distributed Description Logic.	Description Logics	2008	DBLP BibTeX RDF
28	David Toman 0001, Grant E. Weddell	Identifying Objects Over Time with Description Logics.	Description Logics	2008	DBLP BibTeX RDF
28	Yue Ma 0009, Pascal Hitzler, Zuoquan Lin	Paraconsistent Reasoning for Expressive and Tractable Description Logics.	Description Logics	2008	DBLP BibTeX RDF
28	Saïd Radhouani, Gilles Falquet	Description Logics-Based Modelling for Precise Information Retrieval.	Description Logics	2008	DBLP BibTeX RDF
28	Franz Baader, Silvio Ghilardi, Carsten Lutz	LTL over Description Logic Axioms.	Description Logics	2008	DBLP BibTeX RDF
28	Francesca A. Lisi	Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web Area.	Description Logics	2007	DBLP BibTeX RDF
28	Gianluca Colombo, Daniele Merico, Marco Antoniotti, Flavio De Paoli, Giancarlo Mauri	Ontological Modelling for Neurovascular Disease Study: Issues in the Adoption of Description Logic.	Description Logics	2007	DBLP BibTeX RDF
28	Jeffrey Pound, Lubomir Stanchev, David Toman 0001, Grant E. Weddell	On Ordering Descriptions in a Description Logic.	Description Logics	2007	DBLP BibTeX RDF
28	Yue Ma 0009, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	Description Logics	2007	DBLP BibTeX RDF
28	Hassan Aït-Kaci	Description Logic vs. Order-Sorted Feature Logic.	Description Logics	2007	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati 0001	Actions and Programs over Description Logic Ontologies.	Description Logics	2007	DBLP BibTeX RDF
28	Sébastien Ferré, Olivier Ridoux	From Description Logics to Logic Functors, and Back.	Description Logics	2007	DBLP BibTeX RDF
28	Domenico Lembo, Marco Ruzzi	Consistent Query Answering over Description Logic Ontologies.	Description Logics	2007	DBLP BibTeX RDF
28	Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn	Pinpointing in the Description Logic EL.	Description Logics	2007	DBLP BibTeX RDF
28	Heiner Stuckenschmidt	Approximate Subsumption for Complex Description Logics.	Description Logics	2007	DBLP BibTeX RDF
28	Sebastian Wandelt	Automated Evaluation of Description Logic Reasoning Systems.	Description Logics	2007	DBLP BibTeX RDF
28	Changli Zhang, Jian Wu, Zhengguo Hu	A Boolean Lattice Based Improved Fuzzy Description Logic in Web Computing.	Description Logics	2007	DBLP BibTeX RDF
28	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
28	Martin Homola	Distributed Description Logics Revisited.	Description Logics	2007	DBLP BibTeX RDF
28	Fangkai Yang, Xiaoping Chen	DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription.	Description Logics	2007	DBLP BibTeX RDF
28	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer	Exploiting Conjunctive Queries in Description Logic Programs.	Description Logics	2007	DBLP BibTeX RDF
28	Yue Ma 0009, Pascal Hitzler, Zuoquan Lin	Paraconsistent Resolution for Four-valued Description Logics.	Description Logics	2007	DBLP BibTeX RDF
28	Jean-David Roubach, Pascal Yim, Joaquin Rodriguez	Description Logics in the Calculus of Structures.	Description Logics	2007	DBLP BibTeX RDF
28	Guilin Qi, Jeff Z. Pan, Qiu Ji	A Possibilistic Extension of Description Logics.	Description Logics	2007	DBLP BibTeX RDF
28	Antoine Zimmermann	Integrated Distributed Description Logics.	Description Logics	2007	DBLP BibTeX RDF
28	Vitaliy L. Khizder, David Toman 0001, Grant E. Weddell	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.	Description Logics	2007	DBLP BibTeX RDF
28	Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth 0001	Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions.	Description Logics	2006	DBLP BibTeX RDF
28	Matteo Cristani, Nicoletta Gabrielli, Paolo Torelli	Topological Reasoning in Basic Description.	Description Logics	2006	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Epistemic First-order Queries over Description Logic Knowledge Bases.	Description Logics	2006	DBLP BibTeX RDF
28	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Model checking the basic modalities of CTL with Description Logic.	Description Logics	2006	DBLP BibTeX RDF
28	Dazhou Kang, Baowen Xu, Jianjiang Lu, Yanhui Li	Reasoning for Fuzzy Description Logic with Comparison Expressions.	Description Logics	2006	DBLP BibTeX RDF
28	Giorgos Stoilos, Giorgos B. Stamou	Euclidian Roles in Description Logics.	Description Logics	2006	DBLP BibTeX RDF
28	Zsolt Nagy, Gergely Lukácsy, Péter Szeredi	Description logic reasoning using the PTTP approach.	Description Logics	2006	DBLP BibTeX RDF
28	Birte Glimm, Ian Horrocks 0001, Ulrike Sattler	Conjunctive Query Answering for Description Logics with Transitive Roles.	Description Logics	2006	DBLP BibTeX RDF
28	Tom Gardiner, Ian Horrocks 0001, Dmitry Tsarkov	Automated Benchmarking of Description Logic Reasoners.	Description Logics	2006	DBLP BibTeX RDF
28	Alessandro Artale, Carsten Lutz, David Toman 0001	A Description Logic of Change.	Description Logics	2006	DBLP BibTeX RDF
28	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur	Description Logic Reasoning for Dynamic ABoxes.	Description Logics	2006	DBLP BibTeX RDF
28	Ralf Möller 0001, Volker Haarslev, Michael Wessel	On the Scalability of Description Logic Instance Retrieval.	Description Logics	2006	DBLP BibTeX RDF
28	Jan Hladik, Rafael Peñaloza	PSPACE Automata for Description Logics.	Description Logics	2006	DBLP BibTeX RDF
28	Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan	Handling Imprecise Knowledge with Fuzzy Description Logic.	Description Logics	2006	DBLP BibTeX RDF
28	Yu Ding 0004, Volker Haarslev	Tableau Caching for Description Logics with Inverse and Transitive Roles.	Description Logics	2006	DBLP BibTeX RDF
28	Ralf Möller 0001, Sylvia Melzer	How sensor data interpretation could benefit from description logics: A practical case study.	Description Logics	2006	DBLP BibTeX RDF
28	Haiyan Che, Jigui Sun	Static Knowledge Representation of Multi-Agent System's Specification by Description Logic.	Description Logics	2006	DBLP BibTeX RDF
28	Evren Sirin, Bijan Parsia	Pellet System Description.	Description Logics	2006	DBLP BibTeX RDF
28	Alexander K. Hudek, Grant E. Weddell	Binary Absorption in Tableaux-Based Reasoning for Description Logics.	Description Logics	2006	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001	Data Complexity of Query Answering in Description Logics.	Description Logics	2005	DBLP BibTeX RDF