ELK Reasoner: Architecture and Evaluation Yevgeny Kazakov1 , Markus Krötzsch2 , and František Simančík2 1 2 Institute of Artificial Intelligence, Ulm University, Germany

Source URL: ceur-ws.org

PROGRAMME Wednesday, July – – – – 11.25

Source URL: dl.kr.org

• Information
• Non-classical logic
• Artificial intelligence
• Description logic
• Information science
• Ontology
• Web Ontology Language
• Ian Horrocks
• Semantic reasoner
• Science
• Semantic Web
• Knowledge

MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL)

Source URL: lara.epfl.ch

• Logic in computer science
• Metalogic
• Model theory
• Multiset
• NP-complete problems
• Presburger arithmetic
• Satisfiability Modulo Theories
• Cardinality
• Generalized arithmetic progression
• Mathematics
• Mathematical logic
• Theoretical computer science

A Family History Knowledge Base in OWL 2 Robert Stevens, Nicolas Matentzoglu, Uli Sattler, and Margaret Stevens School of Computer Science, University of Manchester, Manchester (United Kingdom) {robert.stevens|Ulrike.sat

Source URL: ceur-ws.org

• Science
• Logic
• Information science
• Knowledge representation
• Reasoning
• Web Ontology Language
• Description logic
• Semantic reasoner
• Abox
• Semantic Web
• Information
• Ontology

RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof1,2 and Axel Polleres1 1 2

Source URL: eswc-conferences.org

• Information
• RDF
• Ontology
• Query languages
• Database theory
• RDF Schema
• Web Ontology Language
• SPARQL
• Semantic reasoner
• Semantic Web
• Data management
• Computing

Special Theme: The Future Web Which Future Web? An interview with Frank van Harmelen The semantic Web will be a considerable part of the future Web. What is the difference between the semantic Web and artificial intelli

Source URL: www.cs.vu.nl

• Ontology
• Semantic reasoner
• Web Ontology Language
• Semantic technology
• KAON
• Datalog
• Description logic
• Corporate Semantic Web
• Semantic Web
• Information
• Science

Generation of Rules from Ontologies for High-Level Scene Interpretation Wilfried Bohlken and Bernd Neumann Cognitive Systems Laboratory, Department Informatik, University of HamburgHamburg, Germany {bohlken|neuman

Source URL: kogs-www.informatik.uni-hamburg.de

• Knowledge representation
• Information science
• Ontology
• Reasoning
• Semantic Web Rule Language
• Knowledge representation and reasoning
• Description logic
• Semantic reasoner
• Aerial refueling
• Semantic Web
• Information
• Science

UNIVERSITÄT LEIPZIG Fakultät für Mathematik und Informatik Institut für Informatik Comparison of Concept Learning Algorithms With Emphasis on Ontology Engineering for the Semantic Web

Source URL: lips.informatik.uni-leipzig.de

• Web standards
• Web Ontology Language
• Description logic
• Resource Description Framework
• Semantic reasoner
• Ontology
• RDF Schema
• SPARQL
• Resource
• Semantic Web
• Information
• Computing

DL-Learner Manual Jens Lehmann February 13, 2015 DL-Learner is a machine learning framework for OWL and description logics. It includes several learning algorithms and is easy to extend. DLLearner widens the scope of Ind

Source URL: dl-learner.org

• Artificial intelligence
• Description logic
• Information science
• Non-classical logic
• Web Ontology Language
• Semantic reasoner
• Machine learning
• Inductive logic programming
• Semantic Web
• Science
• Information

Journal of Artificial Intelligence Research–476 Submitted 08/11; publishedCompleteness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

Source URL: jair.org

• Information
• Ontology
• Query languages
• RDF
• Reasoning
• Semantic reasoner
• Datalog
• Description logic
• Conjunctive query
• Semantic Web
• Computing
• Data management