VSL 2014: VIENNA SUMMER OF LOGIC 2014

ORE 2014 PROCEEDINGS: KEYWORD INDEX

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: ABCDEFHIJMNOPQRSTU
A
Android
B
benchmark
benchmarking
C
challenging
clinical decision support
Consequence-based Calculus
D
data mining ontology
Database generation
Description Logics
DL reasoning
E
EL
Experimental evaluation
F
FaCT++
H
HermiT
I
Incremental reasoning
inverse properties
J
Justifications
M
Matchmaking
MinAs
mobile devices
modularization
N
Non-standard inferences
O
ontology
ontology based query answering
Ontology-based data access
open street map
OWL
OWL 2 reasoners
OWL Reasoner
OWLlink
P
pharmacogenomics
Q
query answering
R
reasoner performance
reasoners
rich
S
Semantic Web of Things
T
Tool description
TReasoner
U
Ubiquitous computing
Disclaimer | Powered by EasyChair Smart Program