Reasoner - PDFSEARCH.IO - Document Search Engine

Reasoner
Results: 236

#	Item
31	Semantic web semantics (M2R SWXO lecture notes) J´erˆome Euzenat INRIA & LIG, Montbonnot, France Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2016-05-03 09:10:36 Semantic Web Knowledge engineering Resource Description Framework Knowledge representation Web services Web Ontology Language Ontology RDF Schema SPARQL Query language Semantic reasoner Book:Semantic Web
32	Re-engineering OntoSem Ontology Towards OWL DL Compliance Guntis BARZDINS, Normunds GRUZITIS and Renars KUDINS Institute of Mathematics and Computer Science, University of Latvia Raina bulv. 29, Riga, LV-1459, Latvia gun Add to Reading List Source URL: www.semti-kamols.lv Language: English - Date: 2006-08-31 04:24:10 Semantic Web Knowledge engineering Knowledge representation Ontology Information science Web Ontology Language Description logic Semantic reasoner Formal ontology Frame language Resource Description Framework Ontology engineering
33	Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Ontology Proof theory Methods of proof Automated theorem proving Abox Tbox Sequent Method of analytic tableaux Description logic Calculus Blocking
34	Structured Objects in OWL: Representation and Reasoning Boris Motik† Bernardo Cuenca Grau† Ulrike Sattler‡ Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Semantic Web Information science Ontology Knowledge engineering Knowledge representation Web Ontology Language Description logic Semantic reasoner Tbox Axiom Object Ontology engineering
35	Distributed Stream Reasoning Rehab Albeladi, Kirk Martinez, Nicholas Gibbins Electronics and Computer Science, University of Southampton, UK {raab1g09, km, nmg }@ecs.soton.ac.uk Abstract. Stream Reasoning is the combina Add to Reading List Source URL: 2012.eswc-conferences.org Language: English - Date: 2012-07-23 09:47:34 Semantic Web Knowledge engineering Knowledge representation Resource Description Framework Web services Data stream management system Semantic reasoner Rete algorithm RDF Schema Stream SPARQL Graph database
36	Position Paper Mind the Web Valentin Zacharias1 , Andreas Abecker1 , Denny Vrandecic2 , Imen Borgi1 , Simone Braun1 , and Andreas Schmidt1 1 Add to Reading List Source URL: www.aifb.kit.edu Language: English - Date: 2014-02-27 02:45:03 Semantic Web Knowledge engineering Information science Ontology Knowledge representation Description logic Web Ontology Language Semantic reasoner Cyc Semantic similarity Semantic wiki Semantic search
37	Structured Objects in OWL: Representation and Reasoning Boris Motik Bernardo Cuenca Grau Ulrike Sattler Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Graph theory Graph Ear decomposition Tree K-connectivity certificate Line graph
38	The Point of View Axis: Varying the Levels of Explanation Within a Generic RDF Data Browsing Environment Oshani Seneviratne Tim Berners-Lee Decentralized Information Group, Add to Reading List Source URL: dig.csail.mit.edu Language: English - Date: 2011-02-01 14:29:39 Semantic Web Resource Description Framework Linked data RDF Schema FOAF Web Ontology Language Semantic reasoner RDF/XML Notation3 Ontology Hyperdata
39	BioTop and ChemTop – Top-Domain Ontologies for Biology and Chemistry Holger Stenzhorn Stefan Schulz Elena Beißwanger Add to Reading List Source URL: www2.imbi.uni-freiburg.de Language: English - Date: 2008-09-03 15:49:13 Ontology Upper ontology Open Biomedical Ontologies OBO Foundry Web Ontology Language Formal ontology Gene ontology Barry Smith Suzanna Lewis Semantic reasoner Lightweight ontology Draft:Outline of ontologies
40	Divide et Impera: Metareasoning for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Information science Knowledge engineering Ontology Technical communication Semantic reasoner Description logic Web Ontology Language Inference Upper ontology

UPDATE