Reasoner

Results: 236



#Item
151Information / Resource Description Framework / FOAF / Linked data / Web Ontology Language / Cwm / Semantic reasoner / Virtuoso Universal Server / Semantic Web Stack / Semantic Web / Computing / World Wide Web

Prototyping Fusion Center Information Sharing; Implementing Policy Reasoning Over Cross-Jurisdictional Data Transactions Occurring in a Decentralized Environment K. Krasnow Waterman and Samuel Wang Decentralized Informat

Add to Reading List

Source URL: www.dhs.gov

Language: English - Date: 2012-12-19 11:33:59
152Information science / Knowledge engineering / Knowledge representation / Artificial intelligence / Ontology / Description logic / Ian Horrocks / Semantic reasoner / International Semantic Web Conference / Semantic Web / Information / Science

Project No : FP7[removed]Project Acronym:

Add to Reading List

Source URL: www.optique-project.eu

Language: English - Date: 2013-11-25 03:19:37
153Information / Resource Description Framework / FOAF / Linked data / Web Ontology Language / Cwm / Semantic reasoner / Virtuoso Universal Server / Semantic Web Stack / Semantic Web / Computing / World Wide Web

Prototyping Fusion Center Information Sharing; Implementing Policy Reasoning Over Cross-Jurisdictional Data Transactions Occurring in a Decentralized Environment K. Krasnow Waterman and Samuel Wang Decentralized Informat

Add to Reading List

Source URL: www.dhs.gov

Language: English - Date: 2012-12-19 11:33:59
154Knowledge representation / Science / Knowledge engineering / Information science / Description logic / Web Ontology Language / Abox / Cyc / Semantic reasoner / Ontology / Information / Semantic Web

LogMap and LogMapLt results for OAEI 2013 Ernesto Jim“enez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks Department of Computer Science, University of Oxford, Oxford, UK Abstract. We present the results obtained in the OAEI

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2013-10-10 12:06:04
155Monotonicity of entailment / Entailment / Inference / First-order logic / Formal semantics / Monotonic function / Argument / Semantic reasoner / Logic / Logical consequence / Textual entailment

Natural Logic for Textual Inference Bill MacCartney Stanford University [removed] Abstract

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2007-05-06 21:18:00
156Query languages / Semantic Web / RDF / Computer languages / Ontology / Semantic reasoner / Datalog / SPARQL / Web Ontology Language / Data management / Computing / Information

YARR!: Yet Another Rewriting Reasoner Joerg Schoenfisch and Jens Ortmann Softplant GmbH, Agnes-Pockels-Bogen 1, 80992 Munich, Germany {joerg.schoenfisch, jens.ortmann}@softplant.de Abstract. In this paper we present our

Add to Reading List

Source URL: ub-madoc.bib.uni-mannheim.de

Language: English - Date: 2013-09-02 07:55:30
157Textual entailment / Entailment / Monotonicity of entailment / Inference / Generalized quantifier / Semantic reasoner / Argument / Implicature / Monotonic function / Logic / Logical consequence / Science

Modeling Semantic Containment and Exclusion in Natural Language Inference Bill MacCartney Stanford University [removed] Abstract

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2008-05-30 18:00:51
158Science / Semantic Web / Information science / Knowledge engineering / Semantic matching / Ontology alignment / WordNet / Semantic integration / Schema matching / Information / Ontology / Knowledge representation

OMReasoner: Using Multi-matchers and Reasoner for Ontology Matching: results for OAEI 2012 Guohua Shen, Changbao Tian, Qiang Ge, Yiquan Zhu, Lili Liao, Zhiqiu Huang, Dazhou Kang Nanjing University of Aeronautics and Astr

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2012-10-16 05:58:36
159Ontology / Database theory / Knowledge representation / Data management / Abox / Datalog / Query language / Tbox / Semantic reasoner / Information / Data / Semantic Web

Querying Probabilistic Ontologies with SPARQL Joerg Schoenfisch Data & Web Science Research Group University of Mannheim, Germany http://dws.informatik.uni-mannheim.de/ [removed]

Add to Reading List

Source URL: ub-madoc.bib.uni-mannheim.de

Language: English - Date: 2014-06-18 07:51:13
160Science / Ontology / Knowledge engineering / Knowledge representation / Description logic / Schema matching / Semantic reasoner / Information / Semantic Web / Information science

Completeness and Optimality in Ontology Alignment Debugging Jan Noessner1 , Heiner Stuckenschmidt1 , Christian Meilicke1 , and Mathias Niepert2 1

Add to Reading List

Source URL: dws.informatik.uni-mannheim.de

Language: English - Date: 2014-09-29 11:42:10
UPDATE