DL PROGRAM
Days: Thursday, July 17th Friday, July 18th Saturday, July 19th Sunday, July 20th
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-13:00 Session 66AQ: Invited Talk, Contributed Talks, and Poster Announcements
Location: EI, EI 7
| 10:45 | Invited Talk: New Perspectives on Query Reformulation (abstract) |
| 11:45 | Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (abstract) |
| 12:10 | Complexities of Nominal Schemas (abstract) |
| 12:35 | Comparing the Expressiveness of Description Logics (abstract) |
| 12:38 | An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (abstract) |
| 12:41 | Predicting OWL Reasoners: Locally or Globally? (abstract) |
| 12:44 | Bridging the Gap between Tableau and Consequence-Based Reasoning (abstract) |
| 12:47 | Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (abstract) |
| 12:50 | How to Best Nest Regular Path Queries (abstract) |
| 12:53 | Typed Higher-Order Variant of SROIQ - Why Not? (abstract) |
| 12:56 | Practical query answering over Hi (DL-LiteR) knowledge bases (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 75AP: Contributed Talks and Poster Announcements
Location: EI, EI 7
| 14:30 | Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (abstract) |
| 14:55 | Abstraction Refinement for Ontology Materialization (abstract) |
| 15:20 | Shape and Content: Incorporating Domain Knowledge into Shape Analysis (abstract) |
| 15:45 | An ABox Revision Algorithm for the Description Logic EL_\bot (abstract) |
| 15:48 | Instance-driven TBox Revision in DL-Lite (abstract) |
| 15:51 | Rational Elimination of DL-Lite TBox Axioms (abstract) |
| 15:54 | Rational closure in SHIQ (abstract) |
| 15:57 | DIP: A Defeasible-Inference Platform for OWL Ontologies (abstract) |
16:00-16:50 Session 79: Poster Session (with coffee break)
Location: EI, Foyer
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Chair:
Location: MB, Kuppelsaal
| 16:30 | Foundations and Technology Competitions Award Ceremony (abstract) |
| 17:30 | FLoC Olympic Games Award Ceremony 1 (abstract) |
| 18:15 | FLoC Closing Week 1 (abstract) |
16:50-18:30 Session 81: Contributed Talks
Location: EI, EI 7
| 16:50 | Goal-Directed Tracing of Inferences in EL Ontologies (abstract) |
| 17:15 | Brave and Cautious Reasoning in EL (abstract) |
| 17:40 | Matching with respect to general concept inclusions in the Description Logic EL (abstract) |
| 18:05 | Contextualized Knowledge Repositories with Justifiable Exceptions (abstract) |
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 86M: Invited Talk and Contributed Talk (joint with NMR)
Location: EI, EI 7
| 08:45 | Invited Talk: Fragments of Logic, Language, and Computation (abstract) |
| 09:45 | On the Non-Monotonic Description Logic ALC+Tmin (abstract) |
Thursday, July 17th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-12:00 Session 90AU: Contributed Talks (joint with NMR)
Location: EI, EI 7
| 10:45 | Towards Practical Deletion Repair of Inconsistent DL-programs (abstract) |
| 11:10 | An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC (abstract) |
| 11:35 | Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (abstract) |
12:00-13:00 Session 94C: Contributed Talks and Poster Announcements
Location: EI, EI 7
| 12:00 | Temporal OBDA with LTL and DL-Lite (abstract) |
| 12:25 | Complexity of Temporal Query Abduction in DL-Lite (abstract) |
| 12:50 | Temporalising EL Concepts with Time Intervals (abstract) |
| 12:53 | Transition Constraints for Temporal Attributes (abstract) |
| 12:56 | A Stream-Temporal Query Language for Ontology Based Data Access (abstract) |
13:00-14:30Lunch Break
14:30-15:50 Session 96AV: Contributed Talks and Poster Announcements
Location: EI, EI 7
| 14:30 | Gödel FL_0 with Greatest Fixed-Point Semantics (abstract) |
| 14:55 | Fuzzy DLs over Finite Lattices with Nominals (abstract) |
| 15:20 | A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB (abstract) |
| 15:23 | Complexity sources in FDL (abstract) |
| 15:26 | Gödel Description Logics with General Models (abstract) |
| 15:29 | Certain Answers in a Rough World (abstract) |
| 15:32 | Bayesian Description Logics (abstract) |
| 15:35 | Reasoning about Belief Uncertainty in DL-Lite N bool (abstract) |
| 15:38 | Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (abstract) |
| 15:41 | Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (abstract) |
| 15:44 | Mary, What's Like All Cats? (abstract) |
15:50-16:40 Session 98: Poster Session (with coffee break)
Location: EI, Foyer
16:00-16:30Coffee Break
16:40-17:30 Session 100: Contributed Talks
Location: EI, EI 7
| 16:40 | Datalog Rewriting Techniques for Non-Horn Ontologies (abstract) |
| 17:05 | Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (abstract) |
Saturday, July 19th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
10:15-10:45Coffee Break
10:45-13:00 Session 109E: Invited Talk, Contributed Talks, and Poster Announcements
Location: EI, EI 7
| 10:45 | Invited Talk: Structured Data on the Web (or, a Personal Journey Away From and Back To Ontologies) (abstract) |
| 11:45 | On Faceted Search over Knowledge Bases (abstract) |
| 12:10 | Pushing the CFDnc Envelope (abstract) |
| 12:35 | OptiqueVQS: Visual Query Formulation for OBDA (abstract) |
| 12:38 | Visualization and management of mappings in ontology-based data access (progress report) (abstract) |
| 12:41 | Graphol: Ontology representation through diagrams (abstract) |
| 12:44 | Reducing global consistency to local consistency in Ontology-based Data Access - Extended Abstract (abstract) |
| 12:47 | Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (abstract) |
| 12:50 | OBDA Using RL Reasoners and Repairing (abstract) |
| 12:53 | A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability (abstract) |
| 12:56 | Evaluation of Extraction Techniques for Ontology Excerpts (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 113D: Contributed Talks and Poster Announcements
Location: EI, EI 7
| 14:30 | Query Inseparability by Games (abstract) |
| 14:55 | Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (abstract) |
| 15:20 | Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (abstract) |
| 15:45 | TBox abduction in ALC using a DL tableau (abstract) |
| 15:48 | Understandable Explanations in Description Logic (abstract) |
| 15:51 | WApproximation: computing approximate answers for ontological queries (abstract) |
| 15:54 | Towards Parallel Repair: An Ontology Decomposition-based Approach (abstract) |
| 15:57 | Analyzing the Complexity of Consistent Query Answering under Existential Rules (abstract) |
16:00-16:50 Session 115: Poster Session (with coffee break)
Location: EI, Foyer
16:00-16:30Coffee Break
16:50-18:30 Session 117: Contributed Talks
Location: EI, EI 7
| 16:50 | Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (abstract) |
| 17:15 | Hybrid Query Answering Over DL Ontologies (abstract) |
| 17:40 | Optimised Absorption for Expressive Description Logics (abstract) |
| 18:05 | Planning Problems for Graph Structured Data in Description Logics (abstract) |
18:30-18:45 Session 122: ORE Competition Results
Location: EI, EI 7
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)
Sunday, July 20th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:15 Session 124: Contributed Talks
Location: EI, EI 7
| 09:00 | Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (abstract) |
| 09:25 | Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition (abstract) |
| 09:50 | DeaLing with Ontologies using CODs (abstract) |
10:15-10:45Coffee Break
10:45-13:00 Session 127G: Contributed Talks
Location: EI, EI 7
| 10:45 | Controlled Query Evaluation over Lightweight Ontologies (abstract) |
| 11:10 | Query Rewriting under EL TBoxes: Efficient Algorithms (abstract) |
| 11:35 | Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (abstract) |
| 12:00 | SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (abstract) |
| 12:25 | XPath for DL-Lite Ontologies (abstract) |
13:00-14:30Lunch Break
13:30-14:30 Session 128: DL Business Meeting
Location: EI, EI 7
16:00-16:30Coffee Break
19:00-21:30 Session 142: VSL Banquet 2
Location: Schönbrunn