Search results for "description"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Denny Vrandecic	Toward an Abstract Wikipedia.	Description Logics	2018	DBLP BibTeX RDF
20	David Toman 0001, Grant E. Weddell	Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases.	Description Logics	2018	DBLP BibTeX RDF
20	Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova	Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering.	Description Logics	2018	DBLP BibTeX RDF
20	Christian Kindermann, Daniel P. Lupp, Uli Sattler, Evgenij Thorstensen	Generating Ontologies from Templates: A Rule-Based Approach for Capturing Regularity.	Description Logics	2018	DBLP BibTeX RDF
20	Konstantina Bereta, George Papadakis 0001, Manolis Koubarakis	SPARQLing-Up the Web on-the-fly using Ontologies and Mappings.	Description Logics	2018	DBLP BibTeX RDF
20	Manuel Namici, Giuseppe De Giacomo	Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications.	Description Logics	2018	DBLP BibTeX RDF
20	Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki	Exact Learning of EL Ontologies.	Description Logics	2018	DBLP BibTeX RDF
20	Humaira Farid, Volker Haarslev	Handling Nominals and Inverse Roles using Algebraic Reasoning.	Description Logics	2018	DBLP BibTeX RDF
20	Jieying Chen, Yue Ma 0009, Dirk Walther 0002	Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving.	Description Logics	2018	DBLP BibTeX RDF
20	Tanja Perleth, Marvin R. G. Schiller, Birte Glimm	Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations.	Description Logics	2018	DBLP BibTeX RDF
20	Lidia Tendera	Decidability Frontier for Fragments of First-Order Logic with Transitivity.	Description Logics	2018	DBLP BibTeX RDF
20	Alisa Kovtunova, Rafael Peñaloza	Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.	Description Logics	2018	DBLP BibTeX RDF
20	Katinka Böhm, Magdalena Ortiz 0001	A Tool for Building Topic-specific Ontologies Using a Knowledge Graph.	Description Logics	2018	DBLP BibTeX RDF
20	Medina Andresel, Yazmín Angélica Ibáñez-García, Magdalena Ortiz 0001, Mantas Simkus	Taming Complex Role Inclusions for DL-Lite.	Description Logics	2018	DBLP BibTeX RDF
20	Franz Baader, Adrian Nuradiansyah	Towards Privacy-Preserving Ontology Publishing.	Description Logics	2018	DBLP BibTeX RDF
20	Peter Paulovics, Júlia Pukancová, Martin Homola	SIVA: An Educational Tool for the Tableau Reasoning Algorithm.	Description Logics	2018	DBLP BibTeX RDF
20	Cristina Feier, Carsten Lutz, Frank Wolter	From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.	Description Logics	2018	DBLP BibTeX RDF
20	Anneke Bötcher, Carsten Lutz, Frank Wolter	Complete Approximations of Horn DL Ontologies.	Description Logics	2018	DBLP BibTeX RDF
20	Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst	Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).	Description Logics	2018	DBLP BibTeX RDF
20	Dimitris Bilidas, Manolis Koubarakis	Efficient Duplicate Elimination in SPARQL to SQL Translation.	Description Logics	2018	DBLP BibTeX RDF
20	Rafael Kiesel, Erman Acar, Stefan Schlobach	Preferential Default Reasoning on the Semantic Web.	Description Logics	2018	DBLP BibTeX RDF
20	Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev	On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.	Description Logics	2018	DBLP BibTeX RDF
20	Jacopo Urbani, Markus Krötzsch, Ceriel J. H. Jacobs, Irina Dragoste, David Carral	Efficient Model Construction for Horn Logic with VLog: Extended Abstract.	Description Logics	2018	DBLP BibTeX RDF
20	Maximilian Pensel, Anni-Yasmin Turhan	Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.	Description Logics	2018	DBLP BibTeX RDF
20	David Carral, Irina Dragoste, Markus Krötzsch	Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract.	Description Logics	2018	DBLP BibTeX RDF
20	Sebastian Rudolph, Mantas Simkus	Satisfiability in the Triguarded Fragment of First-Order Logic.	Description Logics	2018	DBLP BibTeX RDF
20	Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis	A Dynamic Extension of ALCO for Repairing via Preferred Updates.	Description Logics	2018	DBLP BibTeX RDF
20	Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana	A Single Approach to Decide Chase Termination on Linear Existential Rules.	Description Logics	2018	DBLP BibTeX RDF
20	Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos	Querying Expressive DL Ontologies under the ICAR Semantics.	Description Logics	2018	DBLP BibTeX RDF
20	Renata Wassermann	Revising Ontologies.	Description Logics	2018	DBLP BibTeX RDF
20	Sascha Jongebloed, Thomas Schneider 0002	Ontology Partitioning Using E-Connections Revisited.	Description Logics	2018	DBLP BibTeX RDF
20	Meghyn Bienvenu	Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account.	Description Logics	2018	DBLP BibTeX RDF
20	Ana Ozaki, Rafael Peñaloza	Provenance in Ontology-based Data Access.	Description Logics	2018	DBLP BibTeX RDF
20	Jieying Chen, Michel Ludwig, Yue Ma 0009, Dirk Walther 0002	Computing Minimal Projection Modules for Conjunctive Queries.	Description Logics	2018	DBLP BibTeX RDF
20	Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao 0001, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks 0001	Theoretical Characterization of Signal Diagnostic Processing Language.	Description Logics	2018	DBLP BibTeX RDF
20	Alessandro Artale, Birte Glimm, Roman Kontchakov (eds.)	Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.	Description Logics	2017	DBLP BibTeX RDF
20	Nadia Labai, Martin Homola, Magdalena Ortiz 0001	Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report).	Description Logics	2017	DBLP BibTeX RDF
20	Olga Gerasimova, Stanislav Kikot, Vladimir V. Podolskii, Michael Zakharyaschev	On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom.	Description Logics	2017	DBLP BibTeX RDF
20	Gianluca Cima	Preliminary Results on Ontology-based Open Data Publishing.	Description Logics	2017	DBLP BibTeX RDF
20	Peter Hansen 0002, Carsten Lutz	Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries.	Description Logics	2017	DBLP BibTeX RDF
20	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.	Description Logics	2017	DBLP BibTeX RDF
20	Razieh Mehri, Volker Haarslev	Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning.	Description Logics	2017	DBLP BibTeX RDF
20	Carsten Lutz, Leif Sabellek	Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.	Description Logics	2017	DBLP BibTeX RDF
20	Germán Alejandro Braun, Matias Pol'la, Laura Andrea Cecchi, Agustina Buccella, Pablo R. Fillottrani, Alejandra Cechich	A DL Semantics for Reasoning over OVM-based Variability Models.	Description Logics	2017	DBLP BibTeX RDF
20	Yevgeny Kazakov, Denis K. Ponomaryov	On the Complexity of Semantic Integration of OWL Ontologies.	Description Logics	2017	DBLP BibTeX RDF
20	Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru	An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering.	Description Logics	2017	DBLP BibTeX RDF
20	Katarina Britz, Ivan José Varzinczak	Towards Defeasible SROIQ.	Description Logics	2017	DBLP BibTeX RDF
20	Wil M. P. van der Aalst, Alessandro Artale, Marco Montali, Simone Tritini	Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.	Description Logics	2017	DBLP BibTeX RDF
20	Markus Krötzsch	Ontologies for Knowledge Graphs?	Description Logics	2017	DBLP BibTeX RDF
20	Yuri Malheiros, Fred Freitas	Unification in EL for Competency Question Generation.	Description Logics	2017	DBLP BibTeX RDF
20	Nikoo Zolfaghar Karahroodi, Volker Haarslev	A Consequence-based Algebraic Calculus for SHOQ.	Description Logics	2017	DBLP BibTeX RDF
20	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.	Description Logics	2017	DBLP BibTeX RDF
20	Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen	Reasonable Macros for Ontology Construction and Maintenance.	Description Logics	2017	DBLP BibTeX RDF
20	Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan	Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract).	Description Logics	2017	DBLP BibTeX RDF
20	Yizheng Zhao, Renate A. Schmidt	Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach.	Description Logics	2017	DBLP BibTeX RDF
20	Markus Brenner, Birte Glimm	Incremental Materialization Update via Abstraction Refinement.	Description Logics	2017	DBLP BibTeX RDF
20	Stefan Borgwardt, Marco Cerami, Rafael Peñaloza	Łukasiewicz Fuzzy EL is Undecidable.	Description Logics	2017	DBLP BibTeX RDF
20	Yevgeny Kazakov, Peter Skocovsky	Enumerating Justifications using Resolution.	Description Logics	2017	DBLP BibTeX RDF
20	Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig	Repairing ABoxes through Active Integrity Constraints.	Description Logics	2017	DBLP BibTeX RDF
20	Marvin R. G. Schiller, Florian Schiller, Birte Glimm	Testing the Adequacy of Automated Explanations of EL Subsumptions.	Description Logics	2017	DBLP BibTeX RDF
20	Roberto Confalonieri 0001, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard	Coherence, Similarity, and Concept Generalisation.	Description Logics	2017	DBLP BibTeX RDF
20	Loris Bozzato, Luciano Serafini, Gaetano Calabrese	CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States.	Description Logics	2017	DBLP BibTeX RDF
20	Alexey Ignatiev, João Marques-Silva 0001, Carlos Mencía, Rafael Peñaloza	Debugging EL+ Ontologies through Horn MUS Enumeration.	Description Logics	2017	DBLP BibTeX RDF
20	Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov	Towards Reusable Explanation Services in Protege.	Description Logics	2017	DBLP BibTeX RDF
20	Arash Karimi, Heng Zhang 0006, Jia-Huai You	Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant.	Description Logics	2017	DBLP BibTeX RDF
20	Maurizio Lenzerini, Rafael Peñaloza (eds.)	Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.	Description Logics	2016	DBLP BibTeX RDF
20	Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev	When is Query Inseparability for ALC Ontologies Decidable?	Description Logics	2016	DBLP BibTeX RDF
20	Antonella Poggi	On the SPARQL Direct Semantics Entailment Regime for OWL 2 QL.	Description Logics	2016	DBLP BibTeX RDF
20	Pablo Rubén Fillottrani, C. Maria Keet	A Design for Coordinated and Logics-mediated Conceptual Modelling.	Description Logics	2016	DBLP BibTeX RDF
20	Cristina Feier, Antti Kuusisto, Carsten Lutz	FO-Rewritability of Expressive Ontology-Mediated Queries.	Description Logics	2016	DBLP BibTeX RDF
20	Patrick Koopmann, Nadeschda Nikitina	Minimising Acyclic EL Ontologies.	Description Logics	2016	DBLP BibTeX RDF
20	Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran	Ontology Materialization by Abstraction Refinement in Horn SHOIF.	Description Logics	2016	DBLP BibTeX RDF
20	Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001	Ontology Module Extraction via Datalog Reasoning.	Description Logics	2016	DBLP BibTeX RDF
20	André Hernich, Julio Lemos, Frank Wolter	Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes.	Description Logics	2016	DBLP BibTeX RDF
20	Domenico Lembo, Riccardo Rosati 0001, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen	Approaching OBDA Evolution through Mapping Repair.	Description Logics	2016	DBLP BibTeX RDF
20	Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck	Open World Probabilistic Databases (Extended Abstract).	Description Logics	2016	DBLP BibTeX RDF
20	Jiaoyan Chen, Huajun Chen, Jeff Z. Pan	Semantic Reasoning for Smog Disaster Analysis.	Description Logics	2016	DBLP BibTeX RDF
20	Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph	Efficient Axiom Pinpointing in EL using SAT Technology.	Description Logics	2016	DBLP BibTeX RDF
20	Dan Suciu	Lifted Inference in Probabilistic Databases.	Description Logics	2016	DBLP BibTeX RDF
20	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev	Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.	Description Logics	2016	DBLP BibTeX RDF
20	Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao 0001	OBDA Beyond Relational DBs: A Study for MongoDB.	Description Logics	2016	DBLP BibTeX RDF
20	Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu	Ontology Patterns with DOWL: The Case of Blending.	Description Logics	2016	DBLP BibTeX RDF
20	Meghyn Bienvenu, Camille Bourgaux, François Goasdoué	Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract).	Description Logics	2016	DBLP BibTeX RDF
20	Marco Console	Data Accuracy as Knowledge in Ontology Based Data Access (preliminary report).	Description Logics	2016	DBLP BibTeX RDF
20	Ralph Schäfermeier, Adrian Paschke	Weaving Ontology Aspects Using a Catalog of Structural Ontology Design Patterns.	Description Logics	2016	DBLP BibTeX RDF
20	Agnieszka Lawrynowicz, C. Maria Keet	The TDDonto Tool for Test-Driven Development of DL Knowledge bases.	Description Logics	2016	DBLP BibTeX RDF
20	Laura Giordano 0001, Daniele Theseider Dupré	Reasoning in a Rational Extension of SROEL.	Description Logics	2016	DBLP BibTeX RDF
20	Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov	On Decidability and Tractability of Querying in Temporal EL.	Description Logics	2016	DBLP BibTeX RDF
20	Henriette Harmse, Katarina Britz, Aurona Gerber	Armstrong Relations for Ontology Design and Evaluation.	Description Logics	2016	DBLP BibTeX RDF
20	Jason St. Jacques, David Toman 0001, Grant E. Weddell	Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract).	Description Logics	2016	DBLP BibTeX RDF
20	Yizheng Zhao, Renate A. Schmidt	Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies.	Description Logics	2016	DBLP BibTeX RDF
20	Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana	Ontology-Mediated Queries for NOSQL Databases.	Description Logics	2016	DBLP BibTeX RDF
20	Antti Kuusisto	On the Uniform One-dimensional Fragment.	Description Logics	2016	DBLP BibTeX RDF
20	Roberto Confalonieri 0001, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe	Conceptual Blending in EL++.	Description Logics	2016	DBLP BibTeX RDF
20	Michel Leclère, Marie-Laure Mugnier, Federico Ulliana	On Bounded Positive Existential Rules.	Description Logics	2016	DBLP BibTeX RDF
20	Cristina Civili, Riccardo Rosati 0001	Bounded Implication for Existential Rules (Extended Abstract).	Description Logics	2016	DBLP BibTeX RDF
20	Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy	Synthesizing and Executing Plans in Knowledge and Action Bases.	Description Logics	2016	DBLP BibTeX RDF
20	Zhenzhen Gu	Meta-modeling Extension of Horn-SROIQ and Query Answering.	Description Logics	2016	DBLP BibTeX RDF
20	Medina Andresel, Magdalena Ortiz 0001, Mantas Simkus	A Compilation Technique for Interactive Ontology-mediated Data Exploration.	Description Logics	2016	DBLP BibTeX RDF
20	Matthias Hengel, Stefan Wölfl 0001, Bernhard Nebel	Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations.	Description Logics	2016	DBLP BibTeX RDF