AAAI Proceedings Template

First Page		Document Content
Date: 2016-06-16 21:36:39 Logic Reasoning Ontology Rules of inference Automated theorem proving Resolution Cyc Inference Semantic reasoner First-order logic Decision tree model CARINE		AAAI Proceedings Template Add to Reading List Source URL: www.cogsys.org Download Document from Source Website File Size: 852,06 KB Share Document on Facebook

	Developing a Distributed Reasoner for the Semantic Web Raghava Mutharaju, Prabhaker Mateti, and Pascal Hitzler Wright State University, OH, USA. {mutharaju.2, prabhaker.mateti, pascal.hitzler}@wright.edu DocID: 1u0dP - View Document
	Mini-ME matchmaker and reasoner for the Semantic Web of Things Floriano Scioscia, Michele Ruta, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva, Agnese Pinto, Eugenio Di Sciascio Polytechnic University of Bari, Italy {fl DocID: 1tUut - View Document
	Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester DocID: 1rspa - View Document
	User-‐Focused Tools Layer Biomedical Ontologies Domain DocID: 1rgSc - View Document
	Ontology-based framework for policy-driven governance in cloud application platforms Dimitrios Kourtesis1,2, Iraklis Paraskakis1, Anthony J.H. Simons2 1 South-East European Research Centre (SEERC), International Faculty DocID: 1qSJQ - View Document