DL 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G H J K L M N O P Q R S T V W Z Ö

A
Ahmetaj, Shqiponja	Planning Problems for Graph Structured Data in Description Logics (PDF, talk)
Ahmeti, Albin	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk)
Alsubait, Tahani	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk)
Antoniou, Grigoris	Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
Arenas, Marcelo	On Faceted Search over Knowledge Bases (PDF, talk)
Armas Romero, Ana	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
Artale, Alessandro	Temporal OBDA with LTL and DL-Lite (PDF, talk)
B
Baader, Franz	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Benedikt, Michael	New Perspectives on Query Reformulation (PDF, talk)
Bienvenu, Meghyn	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk) Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (PDF, talk)
Blackburn, Patrick	Fragments of Logic, Language, and Computation (PDF, talk)
Bobillo, Fernando	A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB (PDF, talk)
Borgwardt, Stefan	Fuzzy DLs over Finite Lattices with Nominals (PDF, talk) Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk) Gödel Description Logics with General Models (PDF, talk)
Botoeva, Elena	Query Inseparability by Games (PDF, talk)
Bourgaux, Camille	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (PDF, talk)
Bourhis, Pierre	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk) How to Best Nest Regular Path Queries (PDF, talk)
Bozzato, Loris	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
Britz, Arina	TBox abduction in ALC using a DL tableau (PDF, talk)
Brown, Gavin	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
C
Calvanese, Diego	Planning Problems for Graph Structured Data in Description Logics (PDF, talk) SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk) Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
Carral, David	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
Cerami, Marco	Complexity sources in FDL (PDF, talk)
Cerutti, Federico	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Ceylan, Ismail Ilkan	Bayesian Description Logics (PDF, talk)
Chang, Liang	An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk)
Chen, Jieying	Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk)
Console, Marco	Graphol: Ontology representation through diagrams (PDF, talk) Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract (PDF, talk)
Cuenca-Grau, Bernardo	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk) Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) On Faceted Search over Knowledge Bases (PDF, talk) Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk) Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (PDF, talk)
D
de Mel, Geeth	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Del Vescovo, Chiara	DeaLing with Ontologies using CODs (PDF, talk)
Distel, Felix	Gödel Description Logics with General Models (PDF, talk)
Djeddai, Ala	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
E
Ecke, Andreas	Mary, What's Like All Cats? (PDF, talk)
Eiter, Thomas	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk) Towards Practical Deletion Repair of Inconsistent DL-programs (PDF, talk)
Engström, Fredrik	Generating Comprehensible Explanations in Description Logic (PDF, talk)
F
Feier, Cristina	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
Fink, Michael	Towards Practical Deletion Repair of Inconsistent DL-programs (PDF, talk)
Fischl, Wolfgang	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
Freitas, Fred	A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability (PDF, talk)
G
Gatens, William	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk)
Giese, Martin	OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
Giordano, Laura	Rational closure in SHIQ (PDF, talk)
Glimm, Birte	Abstraction Refinement for Ontology Materialization (PDF, talk) Optimised Absorption for Expressive Description Logics (PDF, talk)
Gliozzi, Valentina	Rational closure in SHIQ (PDF, talk)
Goasdoué, François	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (PDF, talk)
Gu, Tianlong	An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk)
H
Halevy, Alon	Structured Data on the Web (or, a Personal Journey Away From and Back To Ontologies) (PDF, talk)
Halland, Ken	TBox abduction in ALC using a DL tableau (PDF, talk)
Hansen, Peter	Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk)
Hitzler, Pascal	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
Homola, Martin	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk)
Horrocks, Ian	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk) Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk) Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (PDF, talk) OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
J
Jimenez-Ruiz, Ernesto	OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
K
Kaminski, Mark	Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk)
Kazakov, Yevgeny	Abstraction Refinement for Ontology Materialization (PDF, talk) Goal-Directed Tracing of Inferences in EL Ontologies (PDF, talk) Bridging the Gap between Tableau and Consequence-Based Reasoning (PDF, talk)
Keet, C. Maria	Transition Constraints for Temporal Attributes (PDF, talk)
Khadir, Tarek	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
Kharlamov, Evgeny	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) On Faceted Search over Knowledge Bases (PDF, talk) OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
Kikot, Stanislav	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk)
Klarman, Szymon	TBox abduction in ALC using a DL tableau (PDF, talk)
Klarman, Szymon	Complexity of Temporal Query Abduction in DL-Lite (PDF, talk)
Klinov, Pavel	Goal-Directed Tracing of Inferences in EL Ontologies (PDF, talk) Bridging the Gap between Tableau and Consequence-Based Reasoning (PDF, talk)
Kluka, Jan	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk)
Konev, Boris	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk)
Kontchakov, Roman	Temporal OBDA with LTL and DL-Lite (PDF, talk) Query Inseparability by Games (PDF, talk)
Koopmann, Patrick	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
Kostylev, Egor	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) XPath for DL-Lite Ontologies (PDF, talk)
Kotek, Tomer	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
Kovtunova, Alisa	Temporal OBDA with LTL and DL-Lite (PDF, talk)
Krötzsch, Markus	Complexities of Nominal Schemas (PDF, talk) How to Best Nest Regular Path Queries (PDF, talk)
L
Lembo, Domenico	Graphol: Ontology representation through diagrams (PDF, talk) Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Lenzerini, Maurizio	Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract (PDF, talk) Practical query answering over Hi (DL-LiteR) knowledge bases (PDF, talk)
Leo, Jared	Temporalising EL Concepts with Time Intervals (PDF, talk)
Lepore, Lorenzo	Practical query answering over Hi (DL-LiteR) knowledge bases (PDF, talk)
Leyva Galano, José A.	Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk)
Li, Yuefeng	Instance-driven TBox Revision in DL-Lite (PDF, talk)
Liebig, Thorsten	Abstraction Refinement for Ontology Materialization (PDF, talk) Optimised Absorption for Expressive Description Logics (PDF, talk)
Ludwig, Michel	Brave and Cautious Reasoning in EL (PDF, talk) Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk) Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk)
Lutz, Carsten	Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk)
M
Ma, Yue	Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk) Towards Parallel Repair: An Ontology Decomposition-based Approach (PDF, talk)
Malheiros, Yuri	A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability (PDF, talk)
Marciuska, Sarunas	On Faceted Search over Knowledge Bases (PDF, talk)
Martin-Recuerda, Francisco	Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies (PDF, talk)
Matentzoglu, Nicolas	An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk)
Meyer, Thomas	Complexity of Temporal Query Abduction in DL-Lite (PDF, talk) DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk) Transition Constraints for Temporal Attributes (PDF, talk)
Moodley, Kody	DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk)
Morak, Michael	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk)
Morawska, Barbara	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Motik, Boris	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
Möller, Ralf	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
N
Nenov, Yavor	Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk) Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk) Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (PDF, talk)
Neuenstadt, Christian	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
Nizamani, Abdul Rahim	Generating Comprehensible Explanations in Description Logic (PDF, talk)
Norman, Timothy	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
O
Olivetti, Nicola	Rational closure in SHIQ (PDF, talk)
Olteanu, Dan	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
Ongoma, E. A. Nasubo	Transition Constraints for Temporal Attributes (PDF, talk)
Oren, Nir	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Ortiz, Magdalena	Planning Problems for Graph Structured Data in Description Logics (PDF, talk)
P
Parsia, Bijan	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk) Temporalising EL Concepts with Time Intervals (PDF, talk) An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk)
Parvizi, Artemis	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Peñaloza, Rafael	Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk) DeaLing with Ontologies using CODs (PDF, talk) Brave and Cautious Reasoning in EL (PDF, talk) Gödel Description Logics with General Models (PDF, talk) Bayesian Description Logics (PDF, talk) Mary, What's Like All Cats? (PDF, talk) Towards Parallel Repair: An Ontology Decomposition-based Approach (PDF, talk) Certain Answers in a Rough World (PDF, talk)
Pichler, Reinhard	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
Pieris, Andreas	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk)
Piro, Robert	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
Podolskii, Vladimir	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk)
Poggi, Antonella	Practical query answering over Hi (DL-LiteR) knowledge bases (PDF, talk)
Polleres, Axel	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk)
Pozzato, Gian Luca	Rational closure in SHIQ (PDF, talk)
Q
Qi, Guilin	Instance-driven TBox Revision in DL-Lite (PDF, talk)
R
Reutter, Juan L.	XPath for DL-Lite Ontologies (PDF, talk)
Rezaei Divroodi, Ali	Comparing the Expressiveness of Description Logics (PDF, talk)
Rosati, Riccardo	Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Rudolph, Sebastian	Complexities of Nominal Schemas (PDF, talk) How to Best Nest Regular Path Queries (PDF, talk)
Ruzzi, Marco	Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Ryzhikov, Vladislav	Temporal OBDA with LTL and DL-Lite (PDF, talk) Query Inseparability by Games (PDF, talk)
S
Sallinger, Emanuel	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
Santarelli, Valerio	Graphol: Ontology representation through diagrams (PDF, talk)
Sattler, Uli	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk) An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk) Temporalising EL Concepts with Time Intervals (PDF, talk) An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk) DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk) Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
Savo, Domenico Fabio	Graphol: Ontology representation through diagrams (PDF, talk) Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Sazonau, Viachaslau	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
Schmidt, Renate A.	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
Serafini, Luciano	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
Seridi, Hassina	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
Seylan, Inanc	Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk)
Simkus, Mantas	Planning Problems for Graph Structured Data in Description Logics (PDF, talk) Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk) Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
Soylu, Ahmet	OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
Stamou, Giorgos	Hybrid Query Answering Over DL Ontologies (PDF, talk)
Steigmiller, Andreas	Optimised Absorption for Expressive Description Logics (PDF, talk)
Stepanova, Daria	Towards Practical Deletion Repair of Inconsistent DL-programs (PDF, talk)
Stoilos, Giorgos	Hybrid Query Answering Over DL Ontologies (PDF, talk) OBDA Using RL Reasoners and Repairing (PDF, talk)
Straccia, Umberto	A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB (PDF, talk) Complexity sources in FDL (PDF, talk)
Strannegård, Claes	Generating Comprehensible Explanations in Description Logic (PDF, talk)
Sullivan, Paul	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Svátek, Vojtěch	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk)
T
Thost, Veronika	Certain Answers in a Rough World (PDF, talk)
Tocci, Emanuele	Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Toman, David	Pushing the CFDnc Envelope (PDF, talk)
Toniolo, Alice	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Tran, Trung-Kien	Abstraction Refinement for Ontology Materialization (PDF, talk)
Turhan, Anni-Yasmin	Mary, What's Like All Cats? (PDF, talk) Certain Answers in a Rough World (PDF, talk)
V
Vacura, Miroslav	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk)
Veith, Helmut	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
Vialard, Vincent	Abstraction Refinement for Ontology Materialization (PDF, talk)
Vrgoc, Domagoj	XPath for DL-Lite Ontologies (PDF, talk)
W
Walther, Dirk	Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk) Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies (PDF, talk) Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk)
Wang, Kewen	Instance-driven TBox Revision in DL-Lite (PDF, talk) Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
Wang, Zhe	Instance-driven TBox Revision in DL-Lite (PDF, talk) Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
Weddell, Grant	Pushing the CFDnc Envelope (PDF, talk)
Wolter, Frank	Temporal OBDA with LTL and DL-Lite (PDF, talk) Query Inseparability by Games (PDF, talk) Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk) Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk)
Z
Zakharyaschev, Michael	Temporal OBDA with LTL and DL-Lite (PDF, talk) Query Inseparability by Games (PDF, talk)
Zheleznyakov, Dmitriy	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) On Faceted Search over Knowledge Bases (PDF, talk) OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
Zhou, Yujiao	Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (PDF, talk)
Zhuang, Zhiqiang	Instance-driven TBox Revision in DL-Lite (PDF, talk) Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
Zuleger, Florian	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
Ö
Özcep, Özgür Lütfü	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)