Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
201	ISSN[removed]Technical Report N O Add to Reading List Source URL: computing-reports.open.ac.uk Language: English - Date: 2012-05-31 10:22:18 Science Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner Axiom Entailment Semantic Web Information Ontology
202	Planning Accessible Explanations for Entailments in OWL Ontologies Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams The Open University Milton Keynes, United Kingdom {t.nguyen,r.power,p.piwek,s.h.williams}@o Add to Reading List Source URL: aclweb.org Language: English - Date: 2012-07-18 14:14:03 Propositional calculus Mathematical logic Formal systems Axiom Entailment Inference Mathematical proof Semantic reasoner Logic Logical consequence Reasoning
203	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Knowledge representation Knowledge engineering Information science Non-classical logic Semantic reasoner Description logic Method of analytic tableaux Web Ontology Language Semantic Web Logic Science
204	RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof1,2 and Axel Polleres1 1 Add to Reading List Source URL: stefanbischof.at Language: English - Date: 2013-06-13 06:01:42 Information RDF Ontology Query languages Database theory RDF Schema Web Ontology Language SPARQL Semantic reasoner Semantic Web Data management Computing
205	Representing and reasoning with modular ontologies by Jie Bao Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2007-12-02 20:31:04 Science Information science Knowledge representation Knowledge engineering Description logic Web Ontology Language Semantic reasoner Cyc Semantics Ontology Information Semantic Web
206	RDFS with Attribute Equations via SPARQL Rewriting Stefan Bischof and Axel Polleres Add to Reading List Source URL: stefanbischof.at Language: English - Date: 2013-06-13 06:04:58 Information RDF Query languages Knowledge representation RDF Schema Metadata SPARQL Semantic reasoner RDF query language Semantic Web Data management Computing
207	Approximating OWL-DL Ontologies Edward Thomas and Jeff Z. Pan Department of Computing Science, University of Aberdeen, Aberdeen AB24 3UE, UK Abstract. In this poster, we propose to recast the idea of knowledge compilatio Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Data Science Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner KAON Semantic Web Ontology Information
208	DLDB: Extending Relational Databases to Support Semantic Web Queries Zhengxiang Pan (Lehigh University, USA [removed]) Add to Reading List Source URL: www.cse.lehigh.edu Language: English - Date: 2003-10-31 15:16:14 Science Information science Knowledge engineering Knowledge representation Description logic DAML+OIL Semantic reasoner RDF Schema Web Ontology Language Semantic Web Ontology Information
209	Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes Florian Fuchs and Michael Berger Siemens AG, Corporate Technology, Intelligent Autonomous Systems Otto-Hahn-Ring 6, 81739 Munich, Germany {florian.fuchs Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Data Computer languages Web services Abox RDF Semantic Web Tbox Semantic reasoner Conjunctive query Ontology Computing Information
210	Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web area Francesca A. Lisi Dipartimento di Informatica, Universit` a degli Studi di Bari, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Ontology Knowledge representation Reasoning Information science Datalog Description logic Web Ontology Language Semantic reasoner Semantic Web Information Computing

UPDATE