XNMR: A tool for knowledge bases exploration
L. Castro, D. Warren

TL;DR
XNMR is an interactive tool that combines XSB and SMODELS to facilitate fast exploration of knowledge bases under well-founded semantics and stable models.
Contribution
It integrates two logic programming systems to enable efficient, interactive exploration of complex knowledge bases.
Findings
Enables rapid querying of knowledge bases
Supports exploration under multiple semantics
Improves user interaction with logic programs
Abstract
XNMR is a system designed to explore the results of combining the well-founded semantics system XSB with the stable-models evaluator SMODELS. Its main goal is to work as a tool for fast and interactive exploration of knowledge bases.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Service-Oriented Architecture and Web Services
