Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
41	Using RDF to Model the Structure and Process of Systems Marko A. Rodriguez Jennifer H. Watkins Johan Bollen Add to Reading List Source URL: necsi.edu Language: English - Date: 2007-10-15 12:08:41 Semantic Web Computing Data management Information science Resource Description Framework RDF Schema Web Ontology Language Triplestore SPARQL Ontology Web resource Semantic reasoner
42	DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:51:51
43	http://eulersharp.sourceforge.net/GUIDE Euler Proof Mechanism Euler is an inference engine supporting logic based proofs. It is a backward-forward-backward chaining reasoner enhanced with Euler path detection. Add to Reading List Source URL: eulersharp.sourceforge.net Language: English
44	Pellet: An OWL DL Reasoner Bijan Parsia and Evren Sirin MINDSWAP Research Group University of Maryland, College Park, MD , Add to Reading List Source URL: iswc2004.semanticweb.org Language: English - Date: 2004-09-28 03:38:11
45	A T-Box Generator for testing scalability of OWL mereotopological patterns Martin Boeker1? , Janna Hastings2 , Daniel Schober1 , and Stefan Schulz3 1 3 Add to Reading List Source URL: webont.org Language: English - Date: 2013-11-14 03:46:33 Ontology Knowledge engineering Semantic Web Information science Knowledge Knowledge representation Information Web Ontology Language Description logic Semantic reasoner Mereotopology Gene ontology
46	Choosing between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques Aidan Boran1, Ivan Bedini1, Christopher J. Matheus1 Peter F. Patel-Schneider2 and John Keeney3 1 Bell Labs Ireland, Alcatel-Lucen Add to Reading List Source URL: webont.org Language: English - Date: 2013-11-14 03:46:33 Semantic Web Computing Data management World Wide Web Consortium FOAF SPARQL Resource Description Framework RDF Schema Ontology Web Ontology Language Triplestore Semantic reasoner
47	Modelling threshold phenomena in OWL: Metabolite concentrations as evidence for disorders Janna Hastings1,2? , Ludger Jansen3,4 , Christoph Steinbeck1 , and Stefan Schulz5 1 Add to Reading List Source URL: webont.org Language: English - Date: 2013-11-14 03:46:33 Ontology Semantic Web Information science Knowledge engineering Metabolism Biology Academia Human Metabolome Database Metabolomics Web Ontology Language Metabolome Semantic reasoner
48	The Web of Data for E-Commerce in Brief A Hands-on Introduction to the GoodRelations Ontology, RDFa, and Yahoo! SearchMonkey October 25, 2009 Westfields Conference Center near Washington, DC, USA Add to Reading List Source URL: www.ebusiness-unibw.org Language: English - Date: 2014-11-28 05:24:40 Computing Semantic Web World Wide Web Consortium Resource Description Framework Web standards RDF Schema Turtle RDFa Linked data SPARQL Web Ontology Language Semantic reasoner
49	POSH - The Prolog OWL Shell Chris Mungall Abstract. Two of the most common ways of processing and manipulating OWL ontologies are through an ontology editing environment (e.g. Protege or TopBraid) or via a programmatic i Add to Reading List Source URL: webont.org Language: English - Date: 2013-11-14 03:46:33 Semantic Web Resource Description Framework Information science Knowledge engineering Knowledge representation Web Ontology Language Semantic reasoner Prolog Description logic Ontology Jena SPARQL
50	Microsoft PowerPoint - owled_san_francisco_2011ppt [Compatibility Mode] Add to Reading List Source URL: webont.org Language: English - Date: 2013-11-14 03:46:33 Computing Semantic Web World Wide Web Consortium Web standards Knowledge representation Resource Description Framework Knowledge engineering Web services Web Ontology Language Semantic reasoner Ontotext SPARQL

UPDATE