Search results for "description"

Hits ?▲	Authors	Title	Venue	Year	Link
28	Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev	Model Comparison Games for Horn Description Logics: A Summary.	Description Logics	2019	DBLP BibTeX RDF
28	Alexander Borgida, David Toman 0001, Grant E. Weddell	On Special Description Logics for Processes and Plans.	Description Logics	2019	DBLP BibTeX RDF
28	Bartosz Bednarczyk, Sebastian Rudolph	Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting.	Description Logics	2019	DBLP BibTeX RDF
28	Satyadharma Tirtarasa, Benjamin Zarrieß	Projection in a Description Logic of Context with Actions.	Description Logics	2019	DBLP BibTeX RDF
28	Andreas Steigmiller, Birte Glimm	Absorption-Based Query Entailment Checking for Expressive Description Logics.	Description Logics	2019	DBLP BibTeX RDF
28	Lukas Grätz	Concepts as Modal Operators in Description Logics.	Description Logics	2018	DBLP BibTeX RDF
28	Damir Nesic, Mattias Nyberg	Verifying Contract-Based Specifications of Product Lines using Description Logic.	Description Logics	2018	DBLP BibTeX RDF
28	Franz Baader, Oliver Fernandez Gil, Maximilian Pensel	Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.	Description Logics	2018	DBLP BibTeX RDF
28	Júlia Pukancová, Martin Homola	ABox Abduction for Description Logics: The Case of Multiple Observations.	Description Logics	2018	DBLP BibTeX RDF
28	Alessandro Artale, Andrea Mazzullo, Ana Ozaki	Temporal Description Logics over Finite Traces.	Description Logics	2018	DBLP BibTeX RDF
28	Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, Rafael Peñaloza	Making Repairs in Description Logics More Gentle (Extended Abstract).	Description Logics	2018	DBLP BibTeX RDF
28	Fabio Papacchini, Frank Wolter	A Van Benthem Theorem for Horn Description and Modal Logic.	Description Logics	2018	DBLP BibTeX RDF
28	Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza	The Bayesian Description Logic BALC.	Description Logics	2018	DBLP BibTeX RDF
28	Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek	Query-by-Example for Expressive Horn Description Logics.	Description Logics	2018	DBLP BibTeX RDF
28	Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt	The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.	Description Logics	2018	DBLP BibTeX RDF
28	Ana Ozaki, Markus Krötzsch, Sebastian Rudolph	Happy Ever After: Temporally Attributed Description Logics.	Description Logics	2018	DBLP BibTeX RDF
28	David Toman 0001, Grant E. Weddell	On Partial Features in the DLF Dialects of Description Logic with Inverse Features.	Description Logics	2017	DBLP BibTeX RDF
28	Franz Baader, Daniel Borchmann, Adrian Nuradiansyah	Preliminary Results on the Identity Problem in Description Logic Ontologies.	Description Logics	2017	DBLP BibTeX RDF
28	Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli	An Efficient Reasoner for Description Logics of Typicality and Rational Closure.	Description Logics	2017	DBLP BibTeX RDF
28	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for the ALCHO Description Logic.	Description Logics	2017	DBLP BibTeX RDF
28	André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter	Horn Rewritability vs PTime Query Answering for Description Logic TBoxes.	Description Logics	2017	DBLP BibTeX RDF
28	Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost	Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract).	Description Logics	2017	DBLP BibTeX RDF
28	Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung	On Query Answering in Description Logics with Number Restrictions on Transitive Roles.	Description Logics	2017	DBLP BibTeX RDF
28	Markus Krötzsch, Maximilian Marx 0001, Ana Ozaki, Veronika Thost	Reasoning with Attributed Description Logics.	Description Logics	2017	DBLP BibTeX RDF
28	Labinot Bajraktari, Magdalena Ortiz 0001, Mantas Simkus	Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming.	Description Logics	2017	DBLP BibTeX RDF
28	David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks 0001	Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.	Description Logics	2017	DBLP BibTeX RDF
28	Sebastian Rudolph, Lukas Schweizer	Not Too Big, Not Too Small... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics.	Description Logics	2017	DBLP BibTeX RDF
28	Sebastian Rudolph	The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.	Description Logics	2016	DBLP BibTeX RDF
28	Júlia Pukancová, Martin Homola	Tableau-Based ABox Abduction for Description Logics: Preliminary Report.	Description Logics	2016	DBLP BibTeX RDF
28	Diego Calvanese	Managing Change in Graph-structured Data Using Description Logics.	Description Logics	2016	DBLP BibTeX RDF
28	Jon Haël Brenas, Rachid Echahed, Martin Strecker	On the Closure of Description Logics under Substitutions.	Description Logics	2016	DBLP BibTeX RDF
28	Meghyn Bienvenu, Peter Hansen 0002, Carsten Lutz, Frank Wolter	First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.	Description Logics	2016	DBLP BibTeX RDF
28	Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer	Fixed-Domain Reasoning for Description Logics.	Description Logics	2016	DBLP BibTeX RDF
28	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics.	Description Logics	2016	DBLP BibTeX RDF
28	Stefan Borgwardt, Rafael Peñaloza	Reasoning in Expressive Gödel Description Logics.	Description Logics	2016	DBLP BibTeX RDF
28	Mark Kaminski, Bernardo Cuenca Grau	Polynomial Horn Rewritings for Description Logics Ontologies.	Description Logics	2015	DBLP BibTeX RDF
28	Patrick Koopmann, Renate A. Schmidt	Saturated-Based Forgetting in the Description Logic SIF.	Description Logics	2015	DBLP BibTeX RDF
28	Júlia Pukancová, Martin Homola	Abductive Reasoning with Description Logics: Use Case in Medical Diagnosis.	Description Logics	2015	DBLP BibTeX RDF
28	Viachaslau Sazonau, Uli Sattler	TBox Reasoning in the Probabilistic Description Logic SHIQp.	Description Logics	2015	DBLP BibTeX RDF
28	Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks 0001	Extending the Combined Approach Beyond Lightweight Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti	DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter	Schema.org as a Description Logic.	Description Logics	2015	DBLP BibTeX RDF
28	Boris Konev, Ana Ozaki, Frank Wolter	Exact Learning Description Logic Ontologies from Data Retrieval Examples.	Description Logics	2015	DBLP BibTeX RDF
28	Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider 0002	The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.	Description Logics	2015	DBLP BibTeX RDF
28	Ismail Ilkan Ceylan, Rafael Peñaloza	Dynamic Bayesian Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	Axel Polleres	Integrating Open Data: (How) Can Description Logics Help me?	Description Logics	2015	DBLP BibTeX RDF
28	Benjamin Zarrieß, Jens Claßen	Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing.	Description Logics	2015	DBLP BibTeX RDF
28	Meghyn Bienvenu, Camille Bourgaux, François Goasdoué	Explaining Query Answers under Inconsistency-Tolerant Semantics over Description Logic Knowledge Bases (Extended Abstract).	Description Logics	2015	DBLP BibTeX RDF
28	Oliver Fernandez Gil, Franz Baader, Gerhard Brewka	Adding Threshold Concepts to the Description Logic EL.	Description Logics	2015	DBLP BibTeX RDF
28	Nhung Ngo, Magdalena Ortiz 0001, Mantas Simkus	The Combined Complexity of Reasoning with Closed Predicates in Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	Interval Temporal Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	Mourad Ouziri, Salima Benbernou, Naouel Karam, Allel Hadjali	Managing QoS Acceptability for Service Selection: A Probabilistic Description Logics Based Approach.	Description Logics	2015	DBLP BibTeX RDF
28	Lakhdar Akroun, Lhouari Nourine, Farouk Toumani	Reasoning in description logics with variables: preliminary results regarding the EL logic.	Description Logics	2015	DBLP BibTeX RDF
28	Nicolas Matentzoglu, Uli Sattler, Bijan Parsia	Empirical Investigation of Subsumption Test Hardness in Description Logic Classification.	Description Logics	2015	DBLP BibTeX RDF
28	Ismail Ilkan Ceylan	Query Answering in Bayesian Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	Michele Stawowy	Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases.	Description Logics	2015	DBLP BibTeX RDF
28	Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev	Conservative Rewritability of Description Logic TBoxes: First Results.	Description Logics	2015	DBLP BibTeX RDF
28	Andreas Steigmiller, Birte Glimm, Thorsten Liebig	Completion Graph Caching for Expressive Description Logics.	Description Logics	2015	DBLP BibTeX RDF
28	Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård	Generating Comprehensible Explanations in Description Logic.	Description Logics	2014	DBLP BibTeX RDF
28	Camille Bourgaux, Meghyn Bienvenu, François Goasdoué	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics.	Description Logics	2014	DBLP BibTeX RDF
28	Andreas Steigmiller, Birte Glimm, Thorsten Liebig	Optimised Absorption for Expressive Description Logics.	Description Logics	2014	DBLP BibTeX RDF
28	Ali Rezaei Divroodi	Comparing the Expressiveness of Description Logics.	Description Logics	2014	DBLP BibTeX RDF
28	Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger	Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.	Description Logics	2014	DBLP BibTeX RDF
28	Stefan Borgwardt, Felix Distel, Rafael Peñaloza	Gödel Description Logics with General Models.	Description Logics	2014	DBLP BibTeX RDF
28	William Gatens, Boris Konev, Frank Wolter	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies.	Description Logics	2014	DBLP BibTeX RDF
28	Marco Cerami, Umberto Straccia	Complexity Sources in Fuzzy Description Logic.	Description Logics	2014	DBLP BibTeX RDF
28	Yuri Malheiros, Fred Freitas	A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability.	Description Logics	2014	DBLP BibTeX RDF
28	Franz Baader, Barbara Morawska 0001	Matching with Respect to General Concept Inclusions in the Description Logic EL.	Description Logics	2014	DBLP BibTeX RDF
28	Liang Chang 0003, Uli Sattler, Tianlong Gu	An ABox Revision Algorithm for the Description Logic EL_bot.	Description Logics	2014	DBLP BibTeX RDF
28	Nicolas Matentzoglu, Bijan Parsia, Uli Sattler	An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies.	Description Logics	2014	DBLP BibTeX RDF
28	Ismail Ilkan Ceylan, Rafael Peñaloza	Bayesian Description Logics.	Description Logics	2014	DBLP BibTeX RDF
28	Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus	Planning Problems for Graph Structured Data in Description Logics.	Description Logics	2014	DBLP BibTeX RDF
28	Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics.	Description Logics	2014	DBLP BibTeX RDF
28	Fernando Bobillo, Umberto Straccia	A MILP-based Decision Procedure for the (Fuzzy) Description Logic ALCB.	Description Logics	2014	DBLP BibTeX RDF
28	Giovanni Casini, Thomas Meyer 0002, Ivan José Varzinczak, Kodylan Moodley	Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox.	Description Logics	2013	DBLP BibTeX RDF
28	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Minimal Model Semantics and Rational Closure in Description Logics.	Description Logics	2013	DBLP BibTeX RDF
28	Rafael S. Gonçalves 0001, Nicolas Matentzoglu, Bijan Parsia, Uli Sattler	The Empirical Robustness of Description Logic Classification.	Description Logics	2013	DBLP BibTeX RDF
28	Giovanni Casini, Thomas Meyer 0002, Kodylan Moodley, Ivan José Varzinczak	Towards Practical Defeasible Reasoning for Description Logics.	Description Logics	2013	DBLP BibTeX RDF
28	Ali Rezaei Divroodi, Linh Anh Nguyen	Bisimulation-Based Comparisons for Interpretations in Description Logics.	Description Logics	2013	DBLP BibTeX RDF
28	Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky	A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.	Description Logics	2013	DBLP BibTeX RDF
28	Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura	Towards Typed Higher-Order Description Logics.	Description Logics	2013	DBLP BibTeX RDF
28	Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi	Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.	Description Logics	2013	DBLP BibTeX RDF
28	Kejia Wu, Volker Haarslev	Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning.	Description Logics	2013	DBLP BibTeX RDF
28	Fernando Bobillo, Umberto Straccia	General Concept Inclusion Absorptions for Fuzzy Description logics: A First Step.	Description Logics	2013	DBLP BibTeX RDF
28	David Toman 0001, Grant E. Weddell	CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness.	Description Logics	2013	DBLP BibTeX RDF
28	Diego Calvanese, Magdalena Ortiz 0001, Mantas Simkus	Evolving Graph Databases under Description Logic Constraints.	Description Logics	2013	DBLP BibTeX RDF
28	Francesca Alessandra Lisi, Umberto Straccia	A System for Learning GCI Axioms in Fuzzy Description Logics.	Description Logics	2013	DBLP BibTeX RDF
28	Martin Matzner, Jörg Becker 0001	Requirements for a Service Description Language - Findings from a Delphi Study.	Handbook of Service Description	2012	DBLP DOI BibTeX RDF
28	Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks 0001	Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
28	Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky	An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.	Description Logics	2012	DBLP BibTeX RDF
28	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
28	Despoina Magka, Boris Motik, Ian Horrocks 0001	Modelling Structured Domains Using Description Graphs and Logic Programming.	Description Logics	2012	DBLP BibTeX RDF
28	Andreas Steigmiller, Thorsten Liebig, Birte Glimm	Extended Caching and Backjumping for Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
28	Rafael S. Gonçalves 0001, Bijan Parsia, Ulrike Sattler	Concept-Based Semantic Difference in Expressive Description Logics.	Description Logics	2012	DBLP BibTeX RDF
28	Jaromir Malenko, Petr Stepánek	Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.	Description Logics	2012	DBLP BibTeX RDF
28	Enrico Franconi, Alessandro Mosca 0001, Dmitry Solomakhin	ORM2 Encoding into Description Logic (Extended Abstract).	Description Logics	2012	DBLP BibTeX RDF
28	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato	Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.	Description Logics	2012	DBLP BibTeX RDF
28	Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz	Equality-Friendly Well-Founded Semantics and Applications to Description Logics.	Description Logics	2012	DBLP BibTeX RDF
28	Francesca A. Lisi	A Formal Characterization of Concept Learning in Description Logics.	Description Logics	2012	DBLP BibTeX RDF
28	Kejia Wu, Volker Haarslev	A Parallel Reasoner for the Description Logic ALC.	Description Logics	2012	DBLP BibTeX RDF