|
|
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 |
20 | Denny Vrandecic |
Toward an Abstract Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | David Toman 0001, Grant E. Weddell |
Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Michael Zakharyaschev, Stanislav Kikot, Olga Gerasimova |
Towards a Data Complexity Classification of Ontology-Mediated Queries with Covering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Konstantina Bereta, George Papadakis 0001, Manolis Koubarakis |
SPARQLing-Up the Web on-the-fly using Ontologies and Mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Manuel Namici, Giuseppe De Giacomo |
Comparing Query Answering in OBDA Tools over W3C-Compliant Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Mario Ricardo Cruz Duarte, Boris Konev, Ana Ozaki |
Exact Learning of EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Humaira Farid, Volker Haarslev |
Handling Nominals and Inverse Roles using Algebraic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Jieying Chen, Yue Ma 0009, Dirk Walther 0002 |
Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Lidia Tendera |
Decidability Frontier for Fragments of First-Order Logic with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Alisa Kovtunova, Rafael Peñaloza |
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Katinka Böhm, Magdalena Ortiz 0001 |
A Tool for Building Topic-specific Ontologies Using a Knowledge Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Franz Baader, Adrian Nuradiansyah |
Towards Privacy-Preserving Ontology Publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Peter Paulovics, Júlia Pukancová, Martin Homola |
SIVA: An Educational Tool for the Tableau Reasoning Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Cristina Feier, Carsten Lutz, Frank Wolter |
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Anneke Bötcher, Carsten Lutz, Frank Wolter |
Complete Approximations of Horn DL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Dimitris Bilidas, Manolis Koubarakis |
Efficient Duplicate Elimination in SPARQL to SQL Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Rafael Kiesel, Erman Acar, Stefan Schlobach |
Preferential Default Reasoning on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Maximilian Pensel, Anni-Yasmin Turhan |
Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | David Carral, Irina Dragoste, Markus Krötzsch |
Tractable Query Answering for DL Ontologies and Existential Rules: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Sebastian Rudolph, Mantas Simkus |
Satisfiability in the Triguarded Fragment of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis |
A Dynamic Extension of ALCO for Repairing via Preferred Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Despoina Trivela, Giorgos Stoilos, Vasilis Vassalos |
Querying Expressive DL Ontologies under the ICAR Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Renata Wassermann |
Revising Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Sascha Jongebloed, Thomas Schneider 0002 |
Ontology Partitioning Using E-Connections Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Meghyn Bienvenu |
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Ana Ozaki, Rafael Peñaloza |
Provenance in Ontology-based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Jieying Chen, Michel Ludwig, Yue Ma 0009, Dirk Walther 0002 |
Computing Minimal Projection Modules for Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Nadia Labai, Martin Homola, Magdalena Ortiz 0001 |
Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Gianluca Cima |
Preliminary Results on Ontology-based Open Data Publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Peter Hansen 0002, Carsten Lutz |
Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Razieh Mehri, Volker Haarslev |
Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Carsten Lutz, Leif Sabellek |
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Yevgeny Kazakov, Denis K. Ponomaryov |
On the Complexity of Semantic Integration of OWL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru |
An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Katarina Britz, Ivan José Varzinczak |
Towards Defeasible SROIQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Markus Krötzsch |
Ontologies for Knowledge Graphs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Yuri Malheiros, Fred Freitas |
Unification in EL for Competency Question Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Nikoo Zolfaghar Karahroodi, Volker Haarslev |
A Consequence-based Algebraic Calculus for SHOQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Henrik Forssell, Daniel P. Lupp, Martin G. Skjæveland, Evgenij Thorstensen |
Reasonable Macros for Ontology Construction and Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Franz Baader, Patrick Koopmann, Anni-Yasmin Turhan |
Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Yizheng Zhao, Renate A. Schmidt |
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Markus Brenner, Birte Glimm |
Incremental Materialization Update via Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Stefan Borgwardt, Marco Cerami, Rafael Peñaloza |
Łukasiewicz Fuzzy EL is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Yevgeny Kazakov, Peter Skocovsky |
Enumerating Justifications using Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig |
Repairing ABoxes through Active Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Marvin R. G. Schiller, Florian Schiller, Birte Glimm |
Testing the Adequacy of Automated Explanations of EL Subsumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Loris Bozzato, Luciano Serafini, Gaetano Calabrese |
CKR: Live Demo: Using Contexts and Exceptions for Representing Evolving Knowledge States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Yevgeny Kazakov, Pavel Klinov, Alexander Stupnikov |
Towards Reusable Explanation Services in Protege. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
When is Query Inseparability for ALC Ontologies Decidable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Antonella Poggi |
On the SPARQL Direct Semantics Entailment Regime for OWL 2 QL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Pablo Rubén Fillottrani, C. Maria Keet |
A Design for Coordinated and Logics-mediated Conceptual Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Cristina Feier, Antti Kuusisto, Carsten Lutz |
FO-Rewritability of Expressive Ontology-Mediated Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Patrick Koopmann, Nadeschda Nikitina |
Minimising Acyclic EL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran |
Ontology Materialization by Abstraction Refinement in Horn SHOIF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001 |
Ontology Module Extraction via Datalog Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | André Hernich, Julio Lemos, Frank Wolter |
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Domenico Lembo, Riccardo Rosati 0001, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen |
Approaching OBDA Evolution through Mapping Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck |
Open World Probabilistic Databases (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Jiaoyan Chen, Huajun Chen, Jeff Z. Pan |
Semantic Reasoning for Smog Disaster Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph |
Efficient Axiom Pinpointing in EL using SAT Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Dan Suciu |
Lifted Inference in Probabilistic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao 0001 |
OBDA Beyond Relational DBs: A Study for MongoDB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu |
Ontology Patterns with DOWL: The Case of Blending. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Meghyn Bienvenu, Camille Bourgaux, François Goasdoué |
Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Marco Console |
Data Accuracy as Knowledge in Ontology Based Data Access (preliminary report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Ralph Schäfermeier, Adrian Paschke |
Weaving Ontology Aspects Using a Catalog of Structural Ontology Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Agnieszka Lawrynowicz, C. Maria Keet |
The TDDonto Tool for Test-Driven Development of DL Knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Laura Giordano 0001, Daniele Theseider Dupré |
Reasoning in a Rational Extension of SROEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov |
On Decidability and Tractability of Querying in Temporal EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Henriette Harmse, Katarina Britz, Aurona Gerber |
Armstrong Relations for Ontology Design and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Yizheng Zhao, Renate A. Schmidt |
Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana |
Ontology-Mediated Queries for NOSQL Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Antti Kuusisto |
On the Uniform One-dimensional Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Roberto Confalonieri 0001, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe |
Conceptual Blending in EL++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Michel Leclère, Marie-Laure Mugnier, Federico Ulliana |
On Bounded Positive Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Cristina Civili, Riccardo Rosati 0001 |
Bounded Implication for Existential Rules (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy |
Synthesizing and Executing Plans in Knowledge and Action Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Zhenzhen Gu |
Meta-modeling Extension of Horn-SROIQ and Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Medina Andresel, Magdalena Ortiz 0001, Mantas Simkus |
A Compilation Technique for Interactive Ontology-mediated Data Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
|
|