VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
Android	Android Went Semantic: Time for Evaluation
B
benchmark	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development
Benchmarking	A Scalable Benchmark for OBDA Systems: Preliminary Report
C
challenging	A Family History Knowledge Base in OWL 2
clinical decision support	An update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision support
Consequence-based Calculus	Just: a Tool for Computing Justifications w.r.t. ELH Ontologies
D
data mining ontology	Exploring Reasoning with the DMOP Ontology
Database generation	A Scalable Benchmark for OBDA Systems: Preliminary Report
Description Logics	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners Mini-ME 2.0: powering the Semantic Web of Things Android Went Semantic: Time for Evaluation Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development
DL reasoning	Incremental and Persistent Reasoning in FaCT++
E
EL	Just: a Tool for Computing Justifications w.r.t. ELH Ontologies
Experimental Evaluation	TROvE: a Graphical Tool to Evaluate OWL Reasoners
F
FaCT++	Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development Incremental and Persistent Reasoning in FaCT++
H
HermiT	Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development
I
Incremental reasoning	Incremental and Persistent Reasoning in FaCT++
inverse properties	Exploring Reasoning with the DMOP Ontology
J
Justifications	Just: a Tool for Computing Justifications w.r.t. ELH Ontologies
M
Matchmaking	Mini-ME 2.0: powering the Semantic Web of Things
MinAs	Just: a Tool for Computing Justifications w.r.t. ELH Ontologies
mobile devices	Android Went Semantic: Time for Evaluation
modularization	Exploring Reasoning with the DMOP Ontology
N
Non-standard inferences	Mini-ME 2.0: powering the Semantic Web of Things
O
ontology	A Family History Knowledge Base in OWL 2 Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development
ontology based query answering	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
Ontology-based data access	A Scalable Benchmark for OBDA Systems: Preliminary Report
open street map	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners
OWL	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners An update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision support
OWL 2 reasoners	Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development
OWL Reasoner	TROvE: a Graphical Tool to Evaluate OWL Reasoners
OWLlink	Mini-ME 2.0: powering the Semantic Web of Things
P
pharmacogenomics	An update on Genomic CDS, a complex ontology for pharmacogenomics and clinical decision support
Q
query answering	A Scalable Benchmark for OBDA Systems: Preliminary Report
R
reasoner performance	Exploring Reasoning with the DMOP Ontology
reasoners	Android Went Semantic: Time for Evaluation
rich	A Family History Knowledge Base in OWL 2
S
Semantic Web of Things	Mini-ME 2.0: powering the Semantic Web of Things
T
Tool description	TROvE: a Graphical Tool to Evaluate OWL Reasoners
TReasoner	Evaluating OWL 2 Reasoners in the Context Of Checking Entity-Relationship Diagrams During Software Development
U
Ubiquitous computing	Mini-ME 2.0: powering the Semantic Web of Things

Disclaimer | Powered by EasyChair Smart Program