DL 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G H I J K L M N O P Q R S T U V X

A
Abduction	Complexity of Temporal Query Abduction in DL-Lite (PDF, talk) TBox abduction in ALC using a DL tableau (PDF, talk)
ABox	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
Absorption	Optimised Absorption for Expressive Description Logics (PDF, talk)
Abstraction refinement	Abstraction Refinement for Ontology Materialization (PDF, talk)
action languages	Planning Problems for Graph Structured Data in Description Logics (PDF, talk)
Acyclic queries	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk)
ALC	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
ALCQIO	Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
algorithm	An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk)
algorithms	Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk)
alternating Turing machine	How to Best Nest Regular Path Queries (PDF, talk)
annotations	Temporalising EL Concepts with Time Intervals (PDF, talk)
answer set programming	Towards Practical Deletion Repair of Inconsistent DL-programs (PDF, talk)
Approximations	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk)
Atomic Decomposition	Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies (PDF, talk)
attribute transition	Transition Constraints for Temporal Attributes (PDF, talk)
Automata-Based Reasoning	Fuzzy DLs over Finite Lattices with Nominals (PDF, talk) Gödel Description Logics with General Models (PDF, talk)
B
Bayesian networks	Bayesian Description Logics (PDF, talk)
belief change	Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
belief probability	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
BioPortal	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk)
bisimulation	Comparing the Expressiveness of Description Logics (PDF, talk)
Boolean circuit complexity	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk)
bounded treewidth	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk)
C
Combined Approach	Certain Answers in a Rough World (PDF, talk)
Comparative user evaluation	Graphol: Ontology representation through diagrams (PDF, talk)
competency question	A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability (PDF, talk)
complexity	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk) Fuzzy DLs over Finite Lattices with Nominals (PDF, talk) Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk) Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk) Complexity of Temporal Query Abduction in DL-Lite (PDF, talk) Gödel Description Logics with General Models (PDF, talk) How to Best Nest Regular Path Queries (PDF, talk)
complexity analysis	Bayesian Description Logics (PDF, talk)
complexity of query answering	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (PDF, talk)
complexity theory	Complexities of Nominal Schemas (PDF, talk)
Computational Complexity	Query Inseparability by Games (PDF, talk) Complexity sources in FDL (PDF, talk)
Concept Similarity	Mary, What's Like All Cats? (PDF, talk)
Conceptual Similarity	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk)
conjunctive queries	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)
Conjunctive query answering	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk)
consequence-based reasoning	Goal-Directed Tracing of Inferences in EL Ontologies (PDF, talk) Bridging the Gap between Tableau and Consequence-Based Reasoning (PDF, talk)
consistency	Gödel Description Logics with General Models (PDF, talk)
Consistency Checking	Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract (PDF, talk)
Content representation	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk)
context-based reasoning	Bayesian Description Logics (PDF, talk)
Contexts	DeaLing with Ontologies using CODs (PDF, talk)
Contextual Reasoning	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
contextualized description logics	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
contraction	Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
D
Datalog	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)
Datalog rewritability	Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk)
datalog rewriting	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
Datatypes	Optimised Absorption for Expressive Description Logics (PDF, talk)
defeasible inheritance	Rational closure in SHIQ (PDF, talk)
defeasible knowledge	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
Defeasible reasoning	DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk)
dependencies	Pushing the CFDnc Envelope (PDF, talk)
Description logic	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk) An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk) Generating Comprehensible Explanations in Description Logic (PDF, talk)
Description Logic Ontologies	Graphol: Ontology representation through diagrams (PDF, talk)
Description Logics	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk) Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) Abstraction Refinement for Ontology Materialization (PDF, talk) Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk) Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk) Optimised Absorption for Expressive Description Logics (PDF, talk) Comparing the Expressiveness of Description Logics (PDF, talk) Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk) TBox abduction in ALC using a DL tableau (PDF, talk)
Disjunctive Datalog	Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk)
Disjunctive existential rules	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk)
DL Lite	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
DL-Lite	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk) Temporal OBDA with LTL and DL-Lite (PDF, talk) 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) Complexity of Temporal Query Abduction in DL-Lite (PDF, talk) XPath for DL-Lite Ontologies (PDF, talk) Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk) Practical query answering over Hi (DL-LiteR) knowledge bases (PDF, talk) Instance-driven TBox Revision in DL-Lite (PDF, talk) Rational Elimination of DL-Lite TBox Axioms (PDF, talk)
DL-programs	Towards Practical Deletion Repair of Inconsistent DL-programs (PDF, talk)
DL-safe rules	Complexities of Nominal Schemas (PDF, talk)
DRed	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk)
E
EL	Goal-Directed Tracing of Inferences in EL Ontologies (PDF, talk) Brave and Cautious Reasoning in EL (PDF, talk) Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk) An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk) Mary, What's Like All Cats? (PDF, talk) Temporalising EL Concepts with Time Intervals (PDF, talk) Certain Answers in a Rough World (PDF, talk)
EL TBoxes	Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk)
Error-tolerant reasoning	Brave and Cautious Reasoning in EL (PDF, talk)
evaluation	Brave and Cautious Reasoning in EL (PDF, talk)
Explanations	Goal-Directed Tracing of Inferences in EL Ontologies (PDF, talk) Generating Comprehensible Explanations in Description Logic (PDF, talk)
Expressive Ontologies	OBDA Using RL Reasoners and Repairing (PDF, talk)
expressive TBoxes	Hybrid Query Answering Over DL Ontologies (PDF, talk)
expressiveness	Comparing the Expressiveness of Description Logics (PDF, talk)
F
Faceted search	On Faceted Search over Knowledge Bases (PDF, talk)
Finite Lattices	Fuzzy DLs over Finite Lattices with Nominals (PDF, talk)
Finite satisfiability and implication algorithm	Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
Finite-valued Logic	Complexity sources in FDL (PDF, talk)
fix-sized subontologies	Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk)
FL_0	Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk)
Forgetting	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
functional dependencies	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
functional roles	Pushing the CFDnc Envelope (PDF, talk)
Fuzzy Description Logic	Complexity sources in FDL (PDF, talk)
Fuzzy Description Logics	Fuzzy DLs over Finite Lattices with Nominals (PDF, talk) Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk) A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB (PDF, talk) Gödel Description Logics with General Models (PDF, talk)
Fuzzy Ontologies	A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB (PDF, talk)
G
General Models	Gödel Description Logics with General Models (PDF, talk)
Goedel T-norm	Gödel FL_0 with Greatest Fixed-Point Semantics (PDF, talk)
Graph structured data	Planning Problems for Graph Structured Data in Description Logics (PDF, talk)
Guardedness	Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs (PDF, talk)
Gödel t-norm	Gödel Description Logics with General Models (PDF, talk)
H
hard subsets	An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk)
Higher-order description logics	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk) Practical query answering over Hi (DL-LiteR) knowledge bases (PDF, talk)
hypergraph	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk) Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk)
Hypergraphs	Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies (PDF, talk)
I
identification constraints	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
inconsistency handling	Towards Practical Deletion Repair of Inconsistent DL-programs (PDF, talk)
inconsistency-tolerant query answering	Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (PDF, talk)
Information Hiding	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk)
information retrieval	Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk)
Instance Queries	Mary, What's Like All Cats? (PDF, talk)
intervals	Temporalising EL Concepts with Time Intervals (PDF, talk)
inverse rewriting	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
J
justification	An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk)
Justifications	Generating Comprehensible Explanations in Description Logic (PDF, talk)
K
knowledge base revision	An ABox Revision Algorithm for the Description Logic $\mathcal{EL_{\bot}}$ (PDF, talk)
knowledge obfuscation	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
KR 2014 paper	Complexities of Nominal Schemas (PDF, talk)
L
large-scale ontologies	Brave and Cautious Reasoning in EL (PDF, talk)
lock-free data structures	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
logical difference	Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk) Evaluation of Extraction Techniques for Ontology Excerpts (PDF, talk)
M
machine learning	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
main-memory RDF store	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
Mapping Analysis	Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Mapping Visualization	Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Matching	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Materialisation	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk)
Materialization	Abstraction Refinement for Ontology Materialization (PDF, talk)
meta modelling	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk)
MinAs	Towards Parallel Repair: An Ontology Decomposition-based Approach (PDF, talk)
minimal model semantics	Rational closure in SHIQ (PDF, talk)
Minimal modules	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk)
modular reasoning	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk) An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk)
Modularisation	Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies (PDF, talk)
Modularity	DeaLing with Ontologies using CODs (PDF, talk)
modules	An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk)
monitoring	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
multi-context systems	Contextualized Knowledge Repositories with Justifiable Exceptions (PDF, talk)
N
nominal schemas	Complexities of Nominal Schemas (PDF, talk)
Nominals	Fuzzy DLs over Finite Lattices with Nominals (PDF, talk)
Non monotonic reasoning	DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk)
non-determinism	Bridging the Gap between Tableau and Consequence-Based Reasoning (PDF, talk)
non-standard reasoning	Brave and Cautious Reasoning in EL (PDF, talk)
Nonmonotonic Reasoning	Rational closure in SHIQ (PDF, talk)
normal forms	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics (PDF, talk)
O
OBDA	Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract (PDF, talk) A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
OBDA design tools	Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Ontologies	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk) Axiom Dependency Hypergraphs for fast Atomic Decomposition of Ontologies (PDF, talk) Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (PDF, talk) Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk) An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies (PDF, talk)
ontology	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
Ontology Based Data Access	Abstraction Refinement for Ontology Materialization (PDF, talk) XPath for DL-Lite Ontologies (PDF, talk) Reducing Global Consistency to Local Consistency in Ontology-based Data Access - Extended Abstract (PDF, talk) Visualization and management of mappings in ontology-based data access (progress report) (PDF, talk)
Ontology Change	Instance-driven TBox Revision in DL-Lite (PDF, talk)
Ontology Decomposition	DeaLing with Ontologies using CODs (PDF, talk)
ontology engineering	A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability (PDF, talk)
Ontology modularisation	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk)
ontology modularity	Query Inseparability by Games (PDF, talk)
Ontology Repair	Towards Parallel Repair: An Ontology Decomposition-based Approach (PDF, talk)
Ontology-based data access	Temporal OBDA with LTL and DL-Lite (PDF, talk) Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk) Hybrid Query Answering Over DL Ontologies (PDF, talk) OBDA Using RL Reasoners and Repairing (PDF, talk)
optimisation	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
OWL	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) On Faceted Search over Knowledge Bases (PDF, talk) DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk) OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
OWL 2 profiles	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
OWL 2 QL	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk)
OWL 2 RL	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
P
parallel materialisation	Parallel OWL 2 RL Materialisation in Centralised, Main-Memory RDF Systems (PDF, talk)
PCA	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
performance prediction	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
planning	Planning Problems for Graph Structured Data in Description Logics (PDF, talk)
Preferential	DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk)
Privacy	Controlled Query Evaluation over Lightweight Ontologies (PDF, talk)
Probabilistic Description Logic	Bayesian Description Logics (PDF, talk)
probabilistic reasoning	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
Protege	DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk)
PTIME dialects	Pushing the CFDnc Envelope (PDF, talk)
Q
QBF	Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (PDF, talk)
query answering	Query Inseparability by Games (PDF, talk) Controlled Query Evaluation over Lightweight Ontologies (PDF, talk) Datalog Rewriting Techniques for Non-Horn Ontologies (PDF, talk) XPath for DL-Lite Ontologies (PDF, talk) Hybrid Query Answering Over DL Ontologies (PDF, talk) Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner (PDF, talk) Practical query answering over Hi (DL-LiteR) knowledge bases (PDF, talk) Certain Answers in a Rough World (PDF, talk) OBDA Using RL Reasoners and Repairing (PDF, talk)
query languages	How to Best Nest Regular Path Queries (PDF, talk)
query rewriting	Temporal OBDA with LTL and DL-Lite (PDF, talk) Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk) Query Rewriting under EL TBoxes: Efficient Algorithms (PDF, talk) OBDA Using RL Reasoners and Repairing (PDF, talk)
R
rational closure	Rational closure in SHIQ (PDF, talk)
RDF	On Faceted Search over Knowledge Bases (PDF, talk) OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
RDFS	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk)
Reachability assertions	Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
reasoner	Predicting OWL Reasoners: Locally or Globally? (PDF, talk)
Reasoning	On Faceted Search over Knowledge Bases (PDF, talk) A MILP-based decision procedure for the (Fuzzy) Description Logic ALCB (PDF, talk) OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
regular expressions	How to Best Nest Regular Path Queries (PDF, talk)
Relaxed Queries	Mary, What's Like All Cats? (PDF, talk)
Repair Decomposition	Towards Parallel Repair: An Ontology Decomposition-based Approach (PDF, talk)
Repairing	OBDA Using RL Reasoners and Repairing (PDF, talk)
requirement traceability	A Method to Develop Description Logic Ontologies Iteratively with Automatic Requirement Traceability (PDF, talk)
resolution	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
RL systems	Hybrid Query Answering Over DL Ontologies (PDF, talk)
Rough DL	Certain Answers in a Rough World (PDF, talk)
S
Safety	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
semantic knowledge	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
Semantic tableaux	TBox abduction in ALC using a DL tableau (PDF, talk)
separation logic	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk)
shape analysis	Shape and Content: Incorporating Domain Knowledge into Shape Analysis (PDF, talk) Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability (PDF, talk)
SHOIQ	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
SHOQ	Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs (PDF, talk)
Similarity Measures	Mary, What's Like All Cats? (PDF, talk)
simulation	Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk)
SNOMED-CT	Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? (PDF, talk)
SPARQL	OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
SPARQL Update	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment (PDF, talk)
SROIQ	Typed Higher-Order Variant of SROIQ - Why Not? (PDF, talk)
Static Analysis	Planning Problems for Graph Structured Data in Description Logics (PDF, talk)
strategic interaction	Obfuscation of Semantic Data: Restricting the Spread of Sensitive Information (PDF, talk)
streams	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
Succinctness	Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries (PDF, talk)
System description	DIP: A Defeasible-Inference Platform for OWL Ontologies (PDF, talk)
T
Tableau Algorithm	Optimised Absorption for Expressive Description Logics (PDF, talk)
tableau reasoning	Bridging the Gap between Tableau and Consequence-Based Reasoning (PDF, talk)
TBox Revision	Instance-driven TBox Revision in DL-Lite (PDF, talk)
temporal attributes	Transition Constraints for Temporal Attributes (PDF, talk)
Temporal Description Logics	Transition Constraints for Temporal Attributes (PDF, talk)
temporal logic	Temporal OBDA with LTL and DL-Lite (PDF, talk) Temporalising EL Concepts with Time Intervals (PDF, talk)
temporal querying	Complexity of Temporal Query Abduction in DL-Lite (PDF, talk)
terminologies	Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs (PDF, talk)
time	Temporalising EL Concepts with Time Intervals (PDF, talk)
tracing	Goal-Directed Tracing of Inferences in EL Ontologies (PDF, talk)
tractability boundaries	Pushing the CFDnc Envelope (PDF, talk)
Transitive closure	How to Best Nest Regular Path Queries (PDF, talk)
tree automaton	How to Best Nest Regular Path Queries (PDF, talk)
U
uncertainty	Reasoning about Belief Uncertainty in DL Lite N bool (PDF, talk)
unfolding	A Stream-Temporal Query Language for Ontology Based Data Access (PDF, talk)
Unification	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Uniform Interpolation	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes (PDF, talk)
V
Visual Languages	Graphol: Ontology representation through diagrams (PDF, talk)
Visual query formulation	OptiqueVQS: Visual Query Formulation for OBDA (PDF, talk)
Visual query formulation interface	On Faceted Search over Knowledge Bases (PDF, talk)
X
xpath	XPath for DL-Lite Ontologies (PDF, talk)