|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18647 occurrences of 7202 keywords
|
|
|
Results
Found 29487 publication records. Showing 29487 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|
Displaying result #201 - #300 of 29487 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|