Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
1	OMReasoner: Using Multi-matchers and Reasoner for Ontology Matching: results for OAEI 2012 Guohua Shen, Changbao Tian, Qiang Ge, Yiquan Zhu, Lili Liao, Zhiqiu Huang, Dazhou Kang Nanjing University of Aeronautics and Astr Add to Reading List Source URL: www.dit.unitn.it Language: English - Date: 2012-10-16 06:58:36
2	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 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-10-15 08:41:53
3	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 Add to Reading List Source URL: sisinflab.poliba.it Language: English - Date: 2018-01-24 07:59:52
4	Journal of Intelligent Information Systems, 10, 253–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° SCDBR: An Automated Reasoner for Specifications of Database Updates Add to Reading List Source URL: marenas.sitios.ing.uc.cl - Date: 2013-04-26 05:57:02
5	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 Add to Reading List Source URL: ceur-ws.org - Date: 2011-06-26 10:24:18
6	Reintroducing CEL as an OWL 2 EL Reasoner⋆ Julian Mendez and Boontawee Suntisrivaraporn Theoretical Computer Science, TU Dresden, Germany {mendez,meng}@tcs.inf.tu-dresden.de Abstract. The CEL system is known for its s Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
7	ELK: A Reasoner for OWL EL Ontologies (Technical Report) Yevgeny Kazakov1 , Markus Krötzsch2 , and František Simančík2 1 2 Add to Reading List Source URL: korrekt.org - Date: 2012-03-20 09:42:09
8	E:/reasoner/writings/HARNESS/LOAIT-2009/LOAIT2009.harness-cq.dvi Add to Reading List Source URL: ceur-ws.org - Date: 2009-05-11 19:47:44
9	WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach Weihong Song1 , Bruce Spencer1,2 , and Weichang Du1 1 Add to Reading List Source URL: ceur-ws.org - Date: 2012-06-24 17:47:32
10	Journal of Universal Computer Science, vol. 22, no), submitted: 6/1/16, accepted: , appeared: 1/8/16 © J.UCS A Domain Reasoner for Propositional Logic Josje Lodder (Open University of The Nethe Add to Reading List Source URL: www.jucs.org - Date: 2016-11-29 05:05:01

UPDATE