Notes:
Semantic inferencing on large knowledge (SILK) is a research project that aims to develop techniques for efficiently performing semantic inferencing on large knowledge bases. Semantic inferencing is the process of deriving new knowledge from a knowledge base by applying logical rules and reasoning about the relationships between different concepts and entities.
SILK is focused on developing techniques for efficiently performing semantic inferencing on large-scale knowledge bases, such as those that contain billions of concepts and relationships. The goal of the project is to enable the use of large-scale knowledge bases for a variety of artificial intelligence applications, such as natural language processing, question answering, and decision-making.
SILK is used for a variety of purposes, including developing techniques for efficiently performing semantic inferencing on large-scale knowledge bases, evaluating the performance of different inferencing algorithms on large-scale knowledge bases, and demonstrating the potential of large-scale knowledge bases for a variety of artificial intelligence applications.
SILK (Semantic Inferencing on Large Knowledge) is a knowledge representation system that is sponsored by Vulcan Inc., a research and development company founded by Paul Allen, the co-founder of Microsoft.
SILK is a research project that is focused on developing techniques for efficiently performing semantic inferencing on large-scale knowledge bases. It is designed to enable the use of large-scale knowledge bases for a variety of artificial intelligence applications, such as natural language processing, question answering, and decision-making.
SILK is based on a knowledge representation language called the SILK language, which is designed to represent large-scale knowledge bases in a way that is efficient and scalable. The SILK language is used to define the concepts and relationships that are included in a knowledge base, and to specify the rules and logic that are used to perform inferencing on the knowledge base.
Rulelog is a logic-based language that is used as the underlying logic for knowledge representation languages such as FLORA-2 and SILK. Rulelog is a variant of first-order logic that is designed to be efficient and expressive, and is particularly well-suited for representing and reasoning about large-scale knowledge bases.
In FLORA-2 and SILK, Rulelog is used to represent the concepts and relationships that are included in a knowledge base, as well as the rules and logic that are used to perform inferencing on the knowledge base. Rulelog allows users to define complex relationships between concepts and entities in a way that is easy to understand and interpret, and to specify the logical rules that are used to derive new knowledge from the knowledge base.
Resources:
Wikipedia:
See also:
Best RDF Resources in AI & NLP | Cycorp 2011 | Project 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