The Bayesian Ontology Reasoner is BORN! İsmail İlkan Ceylan1? , Julian Mendez1? , and Rafael Peñaloza2 1 2

Source URL: ddll.inf.tu-dresden.de

First-Orderized ResearchCyc: Expressivity and Efficiency in a Common-Sense Ontology

Source URL: www.cyc.com

• Logic
• Abstraction
• Mathematical logic
• Reasoning
• Ontology
• Automated theorem proving
• Predicate logic
• Knowledge representation
• Cyc
• Knowledge representation and reasoning
• Upper ontology
• Semantic reasoner

A Practical Guide To Building OWL Ontologies Using The Prot´eg´e-OWL Plugin and CO-ODE Tools Edition 1.0 Matthew Horridge1 , Holger Knublauch2 , Alan Rector1 , Robert Stevens1 , Chris Wroe1 1

Source URL: mowl-power.cs.man.ac.uk

• Semantic Web
• Knowledge representation
• Information science
• Computing
• Information
• Knowledge engineering
• Ontology
• Web Ontology Language
• Description logic
• Owl
• Semantic reasoner
• Class

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

Source URL: www.mpi-sws.org

A Description Logics Tableau Reasoner in Prolog Riccardo Zese1 , Elena Bellodi1 , Evelina Lamma1 , and Fabrizio Riguzzi2 1 Dipartimento di Ingegneria – University of Ferrara Dipartimento di Matematica e Informatica –

Source URL: www.dmi.unict.it

Tractable  Ontological  Stream   Reasoning   Jeff  Z.  Pan   University  of  Aberdeen    

Source URL: dream.inf.ed.ac.uk

• Knowledge representation
• Knowledge engineering
• Artificial intelligence
• Reasoning
• Abox
• Semantic reasoner
• Tbox
• Ontology
• Semantic Web
• Information

OWL: Yet to arrive on the Web of Data? Birte Glimm Aidan Hogan Markus Krötzsch

Source URL: ceur-ws.org

• World Wide Web
• Web Ontology Language
• Semantic reasoner
• RDF Schema
• Simple Knowledge Organization System
• Ontology
• Description logic
• Resource
• FOAF
• Semantic Web
• Information
• World Wide Web Consortium

Proceedings of the ESWC2015 Developers Workshop Scalable and Reactive Programming for Semantic Web Developers Jean-Paul Calbimonte LSIR Distributed Information Systems Lab, EPFL, Switzerland.

Source URL: ceur-ws.org

• Web standards
• World Wide Web Consortium
• Turtle
• Jena
• SPARQL
• Scala
• Linked data
• Semantic reasoner
• RDF query language
• Computing
• Semantic Web
• RDF

A Framework for combining Rules and Geo-ontologies Philip D. Smart1 , Alia I. Abdelmoty1 , Baher A. El-Geresy2 , and Christopher B. Jones1 1

Source URL: users.cs.cf.ac.uk

• Science
• Information
• Ontology
• Knowledge engineering
• Reasoning
• Upper ontology
• Web Ontology Language
• Oracle Spatial
• Semantic reasoner
• Artificial intelligence
• Semantic Web
• Knowledge representation

Unchain My EL Reasoner Yevgeny Kazakov, Markus Krötzsch, and František Simančík Department of Computer Science, University of Oxford, UK Abstract. We study a restriction of the classification procedure for EL++ where

Source URL: korrekt.org