Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
221	OBO and OWL: Leveraging Semantic Web Technologies for the Life Sciences Christine Golbreich1 , Matthew Horridge2 , Ian Horrocks3 , Boris Motik3 , and Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-26 07:53:26 Information Bioinformatics Information science Knowledge representation Web Ontology Language Open Biomedical Ontologies Description logic BioPAX Semantic reasoner Ontology Semantic Web Science
222	State of the Semantic Web (34) Add to Reading List Source URL: www.w3.org Language: English - Date: 2007-04-17 11:53:42 Data Ontology editor Semantic reasoner Simple Knowledge Organization System Ontology RDF query language Semantically-Interlinked Online Communities SPARQL Triplestore Semantic Web Information Data management
223	PDF Document Add to Reading List Source URL: eprints.ecs.soton.ac.uk Language: English Data Ontology Web Ontology Language Resource Description Framework Resource Semantic interoperability RDF Schema Semantic reasoner FOAF Semantic Web Information Computing
224	PDF Document Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2006-05-16 05:09:52 Semantic Web Knowledge representation Information science Knowledge engineering Semantic reasoner Description logic Open Biomedical Ontologies KAON Ian Horrocks Ontology Information Science
225	PDF Document Add to Reading List Source URL: eprints.ecs.soton.ac.uk Language: English Data Ontology Web Ontology Language Resource Description Framework Resource Semantic interoperability RDF Schema Semantic reasoner FOAF Semantic Web Information Computing
226	PDF Document Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Theoretical computer science Rules of inference Formal methods Method of analytic tableaux Lambda calculus Unification Calculus Semantic reasoner Mathematical logic Mathematics Logic
227	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-07-26 07:53:19 Semantic Web Knowledge Knowledge representation Information science Knowledge engineering Description logic Web Ontology Language Semantic reasoner Tbox Ontology Science Information
228	PDF Document Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:51:46 Knowledge representation Data Information science Ontology Non-classical logic Description logic Web Ontology Language Semantic reasoner Ontology language Semantic Web Information Science
229	PDF Document Add to Reading List Source URL: www2009.org Language: English - Date: 2009-03-19 16:32:23 Reasoning Logic programming Query languages Semantic Web Programming paradigms Datalog Prolog Semantic reasoner Answer set programming Computing Software engineering Artificial intelligence
230	PDF Document Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-09-29 10:22:04 Science Knowledge Knowledge representation Logic programming Knowledge engineering Rule Interchange Format Knowledge representation and reasoning Semantic reasoner RuleML Symposium Semantic Web Reasoning Artificial intelligence

UPDATE