VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program