Andreas Steigmiller
YOU?
Author Swipe
View article: Parallelised ABox Reasoning and Query Answering with Expressive Description Logics : Evaluation Data
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics : Evaluation Data Open
Sources (Sources.zip), evaluation data (Evaluation.zip) with all ontologies and queries, as well as the evaluation results (Results.zip) of the publication "Parallelised ABox Reasoning and Query Answering for Expressive Description Logics"…
View article: Parallelised ABox Reasoning and Query Answering with Expressive Description Logics : Evaluation Data
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics : Evaluation Data Open
Sources (Sources.zip), evaluation data (Evaluation.zip) with all ontologies and queries, as well as the evaluation results (Results.zip) of the publication "Parallelised ABox Reasoning and Query Answering for Expressive Description Logics"…
View article: Absorption-Based Query Answering for Expressive Description Logics : Evaluation Data
Absorption-Based Query Answering for Expressive Description Logics : Evaluation Data Open
Sources ( Sources.zip ), evaluation data ( Evaluation.zip ) with all ontologies and queries, as well as the evaluation results ( Results.zip ) of the publication "Absorption-Based Query Answering for Expressive Description Logics" from the…
View article: Absorption-Based Query Answering for Expressive Description Logics : Evaluation Data
Absorption-Based Query Answering for Expressive Description Logics : Evaluation Data Open
Sources ( Sources.zip ), evaluation data ( Evaluation.zip ) with all ontologies and queries, as well as the evaluation results ( Results.zip ) of the publication "Absorption-Based Query Answering for Expressive Description Logics" from the…
View article: The OWL Reasoner Evaluation (ORE) 2015 Competition Report
The OWL Reasoner Evaluation (ORE) 2015 Competition Report Open
The OWL Reasoner Evaluation competition is an annual competition (with an associated workshop) that pits OWL 2 compliant reasoners against each other on various standard reasoning tasks over naturally occurring problems. The 2015 competiti…
View article: Ore 2015 Reasoning Systems
Ore 2015 Reasoning Systems Open
This dataset contains the executable versions of all reasoning systems that participated in the ORE reasoner competition in 2015. The files are intended purely for use in reasoner benchmarking activities. The open access extends only to th…
View article: Optimisation of tableau-based reasoning systems for expressive description logics
Optimisation of tableau-based reasoning systems for expressive description logics Open
Logic-based knowledge representation formalisms, such as Description Logics, constitute the basis of well-known ontology languages, e.g., the Web Ontology Language, and, thus, are gaining more and more popularity for realising the knowledg…