Reasoner

Results: 236



#Item
101Science / Knowledge engineering / Knowledge representation / Information science / Semantic reasoner / Semantic integration / Web Ontology Language / Upper ontology / Ontology / Information / Semantic Web

Ontology-mediated Data Integration for real-time Antibiotics Resistance Surveillance SWAT4LS 2014, Berlin Dr. Daniel Schober 1

Add to Reading List

Source URL: www.swat4ls.org

Language: English - Date: 2014-12-21 16:15:39
102Data management / Web services / Knowledge representation / Query languages / Knowledge engineering / SPARQL / Semantic reasoner / RDF query language / SWObjects / Semantic Web / Computing / Information

Query-Based Database Policy Assurance Using Semantic Web Technologies by Jos´e Hiram Soltren S.B., Massachusetts Institute of Technology (2007)

Add to Reading List

Source URL: dig.csail.mit.edu

Language: English - Date: 2011-02-01 14:32:53
103Data management / Web services / Knowledge representation / Query languages / Knowledge engineering / SPARQL / Semantic reasoner / RDF query language / SWObjects / Semantic Web / Computing / Information

Query-Based Database Policy Assurance Using Semantic Web Technologies by Jos´e Hiram Soltren S.B., Massachusetts Institute of Technology (2007)

Add to Reading List

Source URL: dig.csail.mit.edu

Language: English - Date: 2011-02-01 14:33:27
104Logical consequence / Reasoning / Knowledge representation / Knowledge engineering / Semantic Web / Inference / Entailment / Semantic reasoner / Ontology / Logic / Science / Knowledge

Open Research Online The Open University’s repository of research publications and other research outputs Measuring the understandability of deduction rules for OWL

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2014-11-26 01:15:49
105Semantic Web / Reasoning / Semantics of Business Vocabulary and Business Rules / Datalog / Semantic reasoner / Business rule / Information / Åshild / Heymans / Data management / Data modeling / Unified Modeling Language

1st International Workshop on Business Models, Business Rules and Ontologies (BuROSeptember 21st , 2010, Bressanone/Brixen (Italy). Workshop co-located with the 4th International Conference on Web Reasoning and Ru

Add to Reading List

Source URL: ontorule-project.eu

Language: English - Date: 2012-03-29 10:08:02
106Information / RDF / RDF Schema / Prolog / Triplestore / Semantic reasoner / Clause / Query language / Resource / Semantic Web / Computing / Data management

An optimised Semantic Web query language implementation in Prolog Jan Wielemaker Human Computer Studies (HCS), University of Amsterdam, Kruislaan 419, 1098 VA Amsterdam, The Netherlands,

Add to Reading List

Source URL: www.swi-prolog.org

Language: English - Date: 2015-04-03 07:57:28
107Logical syntax / Semantic Web / Proof theory / Inference / Entailment / Web Ontology Language / Semantic reasoner / Formal proof / Deduction / Logic / Reasoning / Logical consequence

ExampleProofTree_Corrected.png

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2014-11-25 16:32:43
108Data / DARPA Agent Markup Language / Resource Description Framework / RDF Schema / Ontology / Description logic / DAML+OIL / Knowledge representation and reasoning / Semantic reasoner / Semantic Web / Information / Computing

DAMLJessKB: A Tool for Reasoning with the Semantic Web William C. Regli  Joe Kopena Geometric and Intelligent Computing Laboratory

Add to Reading List

Source URL: edge.cs.drexel.edu

Language: English - Date: 2002-10-28 16:48:08
109Information / Ontology / Query languages / RDF / Reasoning / Semantic reasoner / Datalog / Description logic / Conjunctive query / Semantic Web / Computing / Data management

Journal of Artificial Intelligence Research–476 Submitted 08/11; publishedCompleteness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2012-03-29 00:56:48
110Knowledge engineering / Semantic Web / Knowledge / Information science / Knowledge representation / Description logic / Semantic reasoner / Knowledge representation and reasoning / Frame language / Ontology / Information / Science

Open Research Online The Open University’s repository of research publications and other research outputs Explaining justifications in OWL DL ontologies Conference Item

Add to Reading List

Source URL: oro.open.ac.uk

Language: English - Date: 2012-12-12 14:02:41
UPDATE