default search action
Description Logics 2014: Vienna, Austria
- Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus
:
Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. CEUR Workshop Proceedings 1193, CEUR-WS.org 2014
Oral Presentations
- Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Planning Problems for Graph Structured Data in Description Logics. 4-7 - Albin Ahmeti, Diego Calvanese, Axel Polleres:
SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment. 8-20 - Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. 21-32 - Franz Baader, Barbara Morawska:
Matching with Respect to General Concept Inclusions in the Description Logic EL. 33-44 - Meghyn Bienvenu, Stanislav Kikot, Vladimir V. Podolskii:
Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries. 45-57 - Stefan Borgwardt:
Fuzzy DLs over Finite Lattices with Nominals. 58-70 - Stefan Borgwardt, José A. Leyva Galano, Rafael Peñaloza:
Gödel FL_0 with Greatest Fixed-Point Semantics. 71-82 - Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. 83-95 - Camille Bourgaux, Meghyn Bienvenu, François Goasdoué:
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics. 96-99 - Pierre Bourhis, Michael Morak, Andreas Pieris:
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs. 100-111 - Loris Bozzato, Thomas Eiter, Luciano Serafini:
Contextualized Knowledge Repositories with Justifiable Exceptions. 112-123 - Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. 124-127 - David Carral, Cristina Feier, Ana Armas Romero, Bernardo Cuenca Grau, Pascal Hitzler, Ian Horrocks:
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. 128-140 - Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov:
Controlled Query Evaluation over Lightweight Ontologies. 141-152 - Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska:
On Faceted Search over Knowledge Bases. 153-156 - Chiara Del Vescovo, Rafael Peñaloza:
DeaLing with Ontologies using CODs. 157-168 - Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. 169-180 - William Gatens, Boris Konev, Frank Wolter:
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. 181-184 - Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard:
Abstraction Refinement for Ontology Materialization. 185-196 - Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Query Rewriting under EL TBoxes: Efficient Algorithms. 197-208 - Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau:
Datalog Rewriting Techniques for Non-Horn Ontologies. 209-220 - Yevgeny Kazakov, Pavel Klinov:
Goal-Directed Tracing of Inferences in EL Ontologies. 221-232 - Szymon Klarman, Thomas Meyer:
Complexity of Temporal Query Abduction in DL-Lite. 233-244 - Patrick Koopmann, Renate A. Schmidt:
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. 245-257 - Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc:
XPath for DL-Lite Ontologies. 258-269 - Markus Krötzsch, Sebastian Rudolph:
Complexities of Nominal Schemas. 270-273 - Michel Ludwig, Rafael Peñaloza:
Brave and Cautious Reasoning in EL. 274-286 - Michel Ludwig, Dirk Walther:
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. 287-298 - Francisco Martín-Recuerda, Dirk Walther:
Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. 299-310 - Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks, Dan Olteanu:
Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems. 311-323 - Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Optimised Absorption for Expressive Description Logics. 324-335 - Giorgos Stoilos, Giorgos B. Stamou:
Hybrid Query Answering Over DL Ontologies. 336-339 - David Toman, Grant E. Weddell:
Pushing the CFDnc Envelope. 340-351 - Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks:
Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. 352-364
Poster Presentations
- Tahani Alsubait, Bijan Parsia, Uli Sattler:
Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? 365-377 - Fernando Bobillo, Umberto Straccia:
A MILP-based Decision Procedure for the (Fuzzy) Description Logic ALCB. 378-390 - Stefan Borgwardt, Felix Distel, Rafael Peñaloza:
Gödel Description Logics with General Models. 391-403 - Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph:
How to Best Nest Regular Path Queries. 404-415 - Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus:
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. 416-420 - Marco Cerami, Umberto Straccia:
Complexity Sources in Fuzzy Description Logic. 421-433 - Federico Cerutti, Geeth de Mel, Timothy J. Norman, Nir Oren, Artemis Parvizi, Paul Sullivan, Alice Toniolo:
Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information. 434-446 - Ismail Ilkan Ceylan, Rafael Peñaloza:
Bayesian Description Logics. 447-458 - Liang Chang, Uli Sattler, Tianlong Gu:
An ABox Revision Algorithm for the Description Logic EL_bot. 459-470 - Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther:
Evaluation of Extraction Techniques for Ontology Excerpts. 471-482 - Marco Console, Domenico Lembo, Valerio Santarelli, Domenico Fabio Savo:
Graphol: Ontology Representation through Diagrams. 483-495 - Marco Console, Maurizio Lenzerini:
Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract. 496-499 - Ali Rezaei Divroodi:
Comparing the Expressiveness of Description Logics. 500-512 - Ala Djeddai, Hassina Seridi, Tarek Khadir:
Reasoning about Belief Uncertainty in DL Lite N bool. 513-525 - Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan:
Mary, What's Like All Cats? 526-529 - Fredrik Engström, Abdul Rahim Nizamani, Claes Strannegård:
Generating Comprehensible Explanations in Description Logic. 530-542 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. 543-555 - Ken Halland, Arina Britz, Szymon Klarman:
TBox Abduction in ALC Using a DL Tableau. 556-566 - Martin Homola, Ján Kluka, Vojtech Svátek, Miroslav Vacura:
Typed Higher-Order Variant of SROIQ - Why Not? 567-578 - Yevgeny Kazakov, Pavel Klinov:
Bridging the Gap between Tableau and Consequence-Based Reasoning. 579-590 - Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger:
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. 591-594 - Domenico Lembo, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo, Emanuele Tocci:
Visualization and Management of Mappings in Ontology-based Data Access (Progress Report). 595-607 - Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Practical Query Answering over Hi (DL-LiteR) Knowledge Bases. 608-619 - Jared Leo, Ulrike Sattler, Bijan Parsia:
Temporalising EL Concepts with Time Intervals. 620-632 - Yue Ma, Rafael Peñaloza:
Towards Parallel Repair: An Ontology Decomposition-based Approach. 633-645 - Yuri Malheiros, Fred Freitas:
A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability. 646-658 - Nicolas Matentzoglu, Bijan Parsia, Uli Sattler:
An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies. 659-670 - Kodylan Moodley, Thomas Meyer, Uli Sattler:
DIP: A Defeasible-Inference Platform for OWL Ontologies. 671-683 - E. A. Nasubo Ongoma, C. Maria Keet, Thomas Meyer:
Transition Constraints for Temporal Attributes. 684-695 - Özgür Lütfü Özçep, Ralf Möller, Christian Neuenstadt:
A Stream-Temporal Query Language for Ontology Based Data Access. 696-708 - Rafael Peñaloza, Veronika Thost, Anni-Yasmin Turhan:
Certain Answers in a Rough World. 709-712 - Viachaslau Sazonau, Uli Sattler, Gavin Brown:
Predicting OWL Reasoners: Locally or Globally? 713-724 - Ahmet Soylu, Evgeny Kharlamov, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz, Martin Giese, Ian Horrocks:
OptiqueVQS: Visual Query Formulation for OBDA. 725-728 - Giorgos Stoilos:
OBDA Using RL Reasoners and Repairing. 729-733 - Zhe Wang, Kewen Wang, Guilin Qi, Zhiqiang Zhuang, Yuefeng Li:
Instance-driven TBox Revision in DL-Lite. 734-745 - Zhiqiang Zhuang, Zhe Wang, Kewen Wang, Grigoris Antoniou:
Rational Elimination of DL-Lite TBox Axioms. 746-756
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: