SILK (Semantic Inferencing on Large Knowledge)


silk.semwebcentral.org {related:}

Notes:

  • SILK is a knowledge representation system sponsored by Paul Allen’s @VulcanInc.
  • Rulelog is the logic underlying knowledge representation languages such as FLORA-2 and SILK.

See also:

Best RDF Resources in AI & NLP | Cycorp 2011Project Halo | SPARQL & Natural Language Question Answering 2011


The Silk System: Scalable higher-order defeasible rules B Grosof, M Dean, M Kifer – RuleML, 2009 – researchgate.net … <>[rdfs:comment->”Toxic discharge into a river causes fish die-off”, owl:versionInfo->”$ Id: silk-ruleml-2009-challenge.tex 880 2009-09-04 14:38:50Z mdean $”, dc:source->”http://silk.semwebcentral.org/SemTech-2009-v31.pdf”] ; … Cited by 5 Related articles All 8 versions Cite Save More

A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example. BN Grosof, MH Burstein, M Dean, C Andersen… – ISWC …, 2010 – bursteins.net … This work is part of the SILK project sponsored by Vulcan Inc. 4 http://silk.semwebcentral.org 5 http://projecthalo.com Page 2. … http://silk.semwebcentral.org/silk-ruleml-2009-challenge.pdf. 17. Grosof, B.: SILK: Higher Level Rules with Defaults and Semantic Scalability. In: Proc. … Cited by 5 Related articles All 15 versions Cite Save More

SILK: Higher Level Rules with Defaults and Semantic Scalability. BN Grosof – RR, 2009 – silk.semwebcentral.org … http://www.mit.edu/~bgrosof/ http://silk.semwebcentral.org ** 3rd International Conference on Web Reasoning and Rules, Chantilly, VA, USA 1 y … 10 • http://silk.semwebcentral.org 10/26/2009 Copyright 2009 by Vulcan Inc., Benjamin Grosof, Mike Dean, and Michael Kifer. … Cited by 8 Related articles All 15 versions Cite Save More

The silk system: Scalable and expressive semantic rules B Grosof, M Dean, M Kifer – Posters and Demos, 8th Intl. Semantic Web …, 2009 – stuff.mit.edu … Higher-order and flexible meta-reasoning — to elevate meta-data to meta-knowledge; and 1http://silk.semwebcentral.org 2http://wiki.ontoprise.de 3 http://www.w3.org/2005/ rules/wiki/RIF_Working_Group • Actions and events, cf. … Cited by 4 Related articles All 8 versions Cite Save More

Omni-directional Hyper Logic Programs in SILK and RIF B Grosof, C Andersen, M Dean, M Kifer – Proc. RuleML, 2010 – ejournal.narotama.ac.id Page 1. Benjamin Grosof* October 22, 2010 20-min. demo presentation at RuleML-2010, in the RuleML Challenge track, Alexandria, VA, USA** * Vulcan Inc., benjaming@vulcan.com http://www.mit.edu/~bgrosof/ For More Info: http://silk.semwebcentral.org http://projecthalo.com … Cited by 3 Related articles All 9 versions Cite Save More

Profiling large tabled computations using forest logging T Swift – CICLOPS 2012, 2012 – sics.se Page 60. Profiling Large Tabled Computations using Forest Logging Terrance Swift CENTRIA, Departamento de Informática, Faculdade de Ciencia e Tecnologia, Universidade Nova de Lisboa, Portugal Abstract. Knowledge … Cited by 3 Related articles All 2 versions Cite Save More

Opportunities for Semantic Web knowledge representation to help XBRL B Grosof – Workshop on Improving Access to Financial Data on …, 2009 – 18.181.0.31 … Page 23. Resources For More Info • Generally: – Personal webpage http://www.mit/edu/~bgrosof/ – SILK webpage http://silk.semwebcentral.org • Specifically (available at the above sites): – Position paper from this Workshop (the one by me) • “Links and References”, especially … Cited by 2 Related articles All 7 versions Cite Save More

Non-termination analysis and cost-based query optimization of logic programs S Liang – Web Reasoning and Rule Systems, 2012 – Springer … The development of high-level logic languages such as JloRA-22 and SILK3 aims at making logic-based knowledge representation accessible to knowledge 1 http://xsb.sourceforge. net 2 http://flora.sourceforge.net 3 http://silk.semwebcentral.org … Cited by 2 Related articles All 4 versions Cite Save

KB Bio 101: A Challenge for OWL Reasoners VK Chaudhri, MA Wessel, S Heymans – 2nd OWL Reasoner Evaluation …, 2013 – ceur-ws.org Page 120. KB Bio 101: A Challenge for OWL Reasoners Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA firstname. lastname@ sri. com Abstract. … Cited by 5 Related articles All 5 versions Cite Save More

Radial restraint: A semantically clean approach to bounded rationality for logic programs B Grosof, T Swift – Proc. AAAI, 2013 – aaai.org Page 1. Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Benjamin Grosof & Associates, LLC Mercer Island, Washington, USA Terrance Swift CENTRIA Universidade Nova de Lisboa, Lisboa Portugal Abstract … Cited by 9 Related articles All 9 versions Cite Save

On Representing Activity Context via Semantic Rule Methods (Summary of Invited Talk) BN Grosof – Workshops at the Twenty-Seventh AAAI Conference on …, 2013 – aaai.org … 2000). SILK. 2013. SILK: Semantic Inferencing on Large Knowl- edge. http://silk. semwebcentral.org (project begun in 2008). Swift, T., and Warren, DS 2012. XSB: Extending Prolog with Tabled Logic Programming. TPLP 12:157–187. SWSF. 2005. … Related articles All 2 versions Cite Save

Recent Advances in the SILK Knowledge Representation and Its Usage. BN Grosof – RuleML America, 2011 – silk.semwebcentral.org … Ft. Lauderdale, FL, USA * Vulcan Inc., benjaming@vulcan.com http://www.mit.edu/~bgrosof/ For More Info: http://silk.semwebcentral.org http://projecthalo.com © Copyright Benjamin Grosof and Vulcan Inc., 2011. All rights reserved. Recent Advances in … All 7 versions Cite Save More

Advanced Knowledge Base Debugging for Rulelog C Andersen, B Benyo, M Calejo, M Dean, P Fodor… – coherentknowledge.com … 2002), 2013. 9. J. Sherman and M. Dean. RIF-SILK. http://silk.semwebcentral.org/RIF- SILK.html (project begun in approx. 2009), 2013. 10. … 17. SILK. SILK: Semantic Inferencing on Large Knowledge. http://silk.semwebcentral.org (project begun in 2008), 2013. 18. T. Swift. … Related articles All 5 versions Cite Save More

Representing the Component Library into Ontology Design Patterns A Gangemi, VK Chaudhri – Workshop on Ontology Patterns, 2009 – ceur-ws.org Page 60. Representing the Component Library into Ontology Design Patterns Aldo Gangemi1 and Vinay K. Chaudhri2 1 STLab, ISTC-CNR, Roma, Italy aldo. gangemi@ cnr. it 2 SRI International, Menlo Park, US vinay. chaudhri@ sri. com Abstract. … Cited by 1 Related articles All 4 versions Cite Save More

Rapid Text-based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog (Summary of Invited Talk) B Grosof – Proc. RuleML-2013, the 7th Intl. Web Rule …, 2013 – coherentknowledge.com … 2000), 2013. [9] SILK. SILK: Semantic Inferencing on Large Knowledge. http://silk.semwebcentral. org (project begun in 2008), 2013. [10] Terrance Swift and David Scott Warren. XSB: Extending Prolog with Tabled Logic Programming. TPLP, 12:157–187, January 2012. … Cited by 2 Related articles Cite Save More

Critical Overview of Methods for Rules Interoperability. Position Paper K Kaczor, GJ Nalepa – Automatyka/Automatics, 2013 – journals.bg.agh.edu.pl … 2 See: http://sourceforge.net/apps/mediawiki/rifle/index.php?title=Main_Page 3 See: http://silk.semwebcentral.org 4 See: http://code.google.com/p/fuxi 5 See: http://eulersharp. sourceforge.net/README\#eye 6 See: http://www.upv.es/sma/teoria/sma/kqml_kif/kif.pdf Page … Related articles All 3 versions Cite Save More

The SILK Language M Dean, B Grosof, M Kifer – stanford.edu Page 1. The SILK Language December 22, 2009 This version: $Id: SILK.tex 1241 2009-12-22 23:28:58Z mdean $ Editor: Mike Dean (BBN Technologies) Authors: Mike Dean (BBN Technologies) Benjamin Grosof (Vulcan Inc … Related articles All 2 versions Cite Save More

Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog BN Grosof – Theory, Practice, and Applications of Rules on the Web, 2013 – Springer … Springer, Berlin (1984) 8. RuleML: Rule Markup and Modeling Initiative (2013) (project begun in approx. 2000), http://www.ruleml.org 9. SILK: SILK: Semantic Inferencing on Large Knowledge (2013) (project begun in 2008), http://silk.semwebcentral.org 10. … Related articles All 3 versions Cite Save

Ontologies, Semantic Technologies, and Intelligence: Looking Toward the Future L Obrst, W Ceusters, T Janssen – Proceeding of the 2010 …, 2010 – books.google.com Page 221. Ontologies and Semantic Technologiesfor Intelligence L. Obrst et al.(Eds.) 213 IOS Press, 2010 © 2010 The authors and IOS Press. All rights reserved. doi: 10.3233/978-1-60750-581-5-213 Chapter 12 Ontologies … Cited by 1 Related articles All 5 versions Cite Save

Using spin to formalise accounting regulations on the semantic web D Spohr, P Cimiano, J McCrae, S O’Riain – International Workshop on …, 2012 – ceur-ws.org Page 7. Using SPIN to Formalise Accounting Regulations on the Semantic Web Dennis Spohr†, Philipp Cimiano†, John McCrae† and Seán O’Riain* † Cognitive Interaction Technology Centre of Excellence Semantic Computing … Cited by 2 Related articles All 4 versions Cite Save More

Linked rules: principles for rule reuse on the web A Khandelwal, I Jacobi, L Kagal – Web Reasoning and Rule Systems, 2011 – Springer … 6 RIF-CASPD. http://ruleml.org/rif/RIF-CASPD.html and Default Logic Dialect. http://silk. semwebcentral.org/RIF-SILK.html 7 eg N3 and user defined rules in Jena support none of them. Allegrograph supports prolog based reasoning, but cannot accept frame terms. … Cited by 1 Related articles All 12 versions Cite Save

Semantically-Driven Rule Interoperability–Concept Proposal K Kaczor, GJ Nalepa – Artificial Intelligence and Soft Computing, 2013 – Springer … They provide different underlying logics eg FOL, deontic logic, modal logic, and 1 See: http://sourceforge.net/apps/mediawiki/rifle/index.php 2 See: http://silk.semwebcentral.org 3 See: http://code.google.com/p/fuxi 4 See: http://www.upv.es/sma/teoria/sma/kqml_kif/kif.pdf Page 6. … Related articles Cite Save

Deriving predicate statistics for logic rules S Liang, M Kifer – Web Reasoning and Rule Systems, 2012 – Springer Page 1. Deriving Predicate Statistics for Logic Rules Senlin Liang and Michael Kifer Department of Computer Science Stony Brook University Stony Brook, NY 11794, USA {sliang,kifer}@cs.stonybrook.edu Abstract. Database … Cited by 1 Related articles All 4 versions Cite Save

Surface Realisation from Knowledge-Bases B Gyawali, C Gardent – loria.fr Page 1. Surface Realisation from Knowledge-Bases Bikash Gyawali Université de Lorraine, LORIA Villers-l`es-Nancy, F-54600, France bikash.gyawali@loria.fr Claire Gardent CNRS, LORIA, UMR 7503 Vandoeuvre-l`es-Nancy, F-54500, France claire.gardent@loria.fr Abstract … Cite Save More

Towards rule interoperability: Design of Drools rule bases using the XTT2 method K Kaczor, K Kluza, GJ Nalepa – Transactions on Computational Collective …, 2013 – Springer … This is why the rule interchange can be inconsistent at 4 See: http://sourceforge.net/apps/ mediawiki/rifle 5 See: http://silk.semwebcentral.org 6 See: http://code.google.com/p/fuxi 7 See: http://eulersharp.sourceforge.net/README#eye 8 See: http://www.riftr.org Page 6. … Cited by 1 Related articles All 2 versions Cite Save

Terminyzer: An automatic non-termination analyzer for large logic programs S Liang, M Kifer – Practical Aspects of Declarative Languages, 2013 – Springer Page 1. Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs ? Senlin Liang and Michael Kifer Department of Computer Science Stony Brook University, USA {sliang,kifer}@cs.stonybrook.edu Abstract. … Cited by 5 Related articles All 2 versions Cite Save

XSB: Extending Prolog with tabled logic programming T Swift, DS Warren – Theory and Practice of Logic …, 2012 – Cambridge Univ Press Page 1. TLP 12 (1–2): 157–187, 2012. C Cambridge University Press 2012 doi:10.1017/ S1471068411000500 157 XSB: Extending Prolog with Tabled Logic Programming TERRANCE SWIFT CENTRIA, Faculdade de Ciências e Tecnologia, Univ. … Cited by 58 Related articles All 11 versions Cite Save

A simple and efficient implementation of concurrent local tabling R Marques, T Swift, J Cunha – Practical Aspects of Declarative Languages, 2010 – Springer Page 1. A Simple and Efficient Implementation of Concurrent Local Tabling Rui Marques 1 , Terrance Swift 2 , and José Cunha 1 1 CITI, Departamento de Informática, Faculdade de Ciencia e Tecnologia, Universidade Nova … Cited by 7 Related articles All 9 versions Cite Save

A goal-directed implementation of query answering for hybrid MKNF knowledge bases AS Gomes, JJ Alferes, T Swift – Theory and Practice of Logic …, 2011 – Cambridge Univ Press Page 1. TLP: page 1 of 26 C Cambridge University Press 2013 doi:10.1017/ S1471068412000439 1 A goal-directed implementation of query answering for hybrid MKNF knowledge bases ANA SOFIA GOMES, JOS ´EJ ´ULIO … Cited by 1 Related articles All 4 versions Cite Save

KR and Reasoning on the Semantic Web: RIF M Kifer – Handbook of Semantic Web Technologies, 2011 – Springer Page 1. 10 KR and Reasoning on the Semantic Web: RIF Michael Kifer State University of New York at Stony Brook, Stony Brook, NY, USA 10.1 Introduction ….. 400 10.2 Scenario: Procurement of Mobile Phone Services ….. 401 … Cited by 1 Related articles All 3 versions Cite Save

A guide to the basic logic dialect for rule interchange on the web H Boley, M Kifer – … and Data Engineering, IEEE Transactions on, 2010 – ieeexplore.ieee.org Page 1. A Guide to the Basic Logic Dialect for Rule Interchange on the Web Harold Boley and Michael Kifer Abstract—The W3C Rule Interchange Format (RIF) is a forthcoming standard for exchanging rules among different … Cited by 22 Related articles All 10 versions Cite Save

Trace-Based Analysis of Large Rule-Based Computations T Swift – semantic-web-journal.org … The translated system was able to answer some of these 1http://silk.semwebcentral. org, http://coherentknowledgesystems.com 2http://www.cyc.com. 0000-0000/13/$00.00 c 2013 – IOS Press and the authors. All rights reserved Page 2. … Related articles All 2 versions Cite Save More

Incremental Tabling in Support of Knowledge Representation and Reasoning T Swift – arXiv preprint arXiv:1405.3547, 2014 – arxiv.org … or to exploit other features. However, systems such as Flora-2 (Yangetal.2013) and its extensions: Silk (cf. silk.semwebcentral.org), Ergo (cf. coherentknowledge.com/ publications) and the RAVE system (cf. www.sri.com/about … Cite Save

Automatic Strengthening of Graph-Structured Knowledge Bases V Chaudhri, N Dinesh, S Heymans… – Graph Structures for …, 2014 – Springer Page 1. Automatic Strengthening of Graph-Structured Knowledge Bases Or: How to Identify Inherited Content in Concept Graphs Vinay Chaudhri, Nikhil Dinesh, Stijn Heymans, and Michael Wessel ? SRI International Artificial … Related articles All 5 versions Cite Save

Forest Logging: A Trace-Based Analysis of Large Rule-Based Computations T Swift – semantic-web-journal.net … In addition, several hundred first- year college biology questions were then formulated 1http://silk.semwebcentral.org, http://coherentknowledgesystems.com 2http://www.cyc.com. 0000-0000/14/$00.00 c 2014 – IOS Press and the authors. All rights reserved Page 2. … Cite Save More

Springer Theses NK Janjua – Springer Page 1. Springer Theses Recognizing Outstanding Ph.D. Research A Defeasible Logic Programming- Based Framework to Support Argumentation in Semantic Web Applications Naeem Khalid Janjua Page 2. Springer Theses Recognizing Outstanding Ph.D. Research … Cite Save

A survey of RDB to RDF translation approaches and tools F Michel, J Montagnat – 2013 – hal.archives-ouvertes.fr Page 1. LABORATOIRE INFORMATIQUE, SIGNAUX ET SYSTÈMES DE SOPHIA ANTIPOLIS UMR7271 A survey of RDB to RDF translation approaches and tools Franck Michel, Johan Montagnat, Catherine Faron-Zucker Equipes … Related articles All 2 versions Cite Save