Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
21	On Synergies between Model Transformations and Semantic Web Technologies Robert Bill1 , Simon Steyskal1,2 , Manuel Wimmer1 , and Gerti Kappel1 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:28 Computing Semantic Web World Wide Web Consortium Web standards Knowledge engineering Knowledge representation Resource Description Framework Web services SPARQL Ontology Semantic reasoner Web Ontology Language
22	Developing an Incomplete Reasoner in Five Minutes: the Large Knowledge Collider in Action Alexey Cheptsov1 1 High-Performance Computing Center Stuttgart, Nobelstr. 19, Add to Reading List Source URL: 2012.eswc-conferences.org Language: English - Date: 2012-07-23 09:47:42 Workflow technology Business software Software Application software Workflow Semantic Web Scientific workflow system GUSE
23	IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2015-10-21 12:03:07 Semantic Web Computing Ontology Information science Cognitive science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner UAB Institute of Law and Technology Leibniz Center for Law
24	Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Mathematics Algebraic structures Transitive closure Ring
25	¨ Kunstliche Intelligenz manuscript No. (will be inserted by the editor) Is Your Database System a Semantic Web Reasoner? Add to Reading List Source URL: korrekt.org Language: English - Date: 2016-06-06 08:03:59 Computing Data management Semantic Web Data Resource Description Framework Query languages Knowledge engineering Knowledge representation SPARQL RDF Schema Datalog Web Ontology Language
26	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
27	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: 2015-02-05 09:51:09 Automated theorem proving Reasoning Semantic Web Artificial intelligence School of Computer Science University of Manchester Knowledge representation and reasoning Description logic Vampire Semantic reasoner Automated reasoning Web Ontology Language Resolution
28	10 Developing a Submariner’s Ontology (to appear in the winter, 2011 issue of Undersea Warfare) Robert Arp, Ph.D. Add to Reading List Source URL: robertarp.webs.com Language: English Semantic Web Knowledge representation Knowledge engineering Resource Description Framework Web services SPARQL Ontology Web Ontology Language Semantic reasoner Web resource RDF Schema Draft:Outline of ontologies
29	Microsoft Word - OWLGrEd_S_OWLED_CReady_v11.doc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-05-24 03:43:20 Semantic Web Knowledge representation Knowledge engineering Ontology Information science Web Ontology Language Resource Description Framework Semantic reasoner Mereology Ontology engineering Upper ontology
30	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification

UPDATE