FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2394927100> ?p ?o ?g. }

• W2394927100 abstract "We present a novel approach to debugging expressively rich knowledge representation and reasoning (KRR) logic Rulelog. Rulelog is an extended form of declarative logic programs (LP) under the wellfounded semantics, which allows higher-order logic formulas as axioms in combination with defeasibility mechanisms that include rule cancellation and priorities, along with default and explicit negation. Rulelog also supports strong knowledge interchange with all current major semantic web standards for logical KRR. Rulelog has been implemented in Flora-2 and Silk, both on top of XSB; and (less completely) in Cyc. The debugging approach described here is part of an integrated development environment, most fully implemented in Silk. The approach includes: reasoning trace analysis, based on tabled LP inferencing tables and forestlog; and justification graphs, which treat why-not and defeasibility as well as provenance. The reasoning trace analysis treats performance and runaway computations, including non-termination as well as classic subgoal-ordering issues that arise in database query optimization. Non-termination can be prevented entirely by leveraging the restraint (bounded rationality) feature of Rulelog. Revision/authoring of knowledge is interactive, based on a rapid edit-test-inspect loop and incremental truth maintenance." @default.
• W2394927100 created "2016-06-24" @default.
• W2394927100 creator A5013114471 @default.
• W2394927100 creator A5018971727 @default.
• W2394927100 creator A5030821392 @default.
• W2394927100 creator A5059918476 @default.
• W2394927100 creator A5061282222 @default.
• W2394927100 creator A5066015052 @default.
• W2394927100 creator A5069613228 @default.
• W2394927100 creator A5079615991 @default.
• W2394927100 creator A5088439361 @default.
• W2394927100 date "2013-01-01" @default.
• W2394927100 modified "2023-09-26" @default.
• W2394927100 title "Advanced Knowledge Base Debugging for Rulelog." @default.
• W2394927100 cites W1506042709 @default.
• W2394927100 cites W1519698894 @default.
• W2394927100 cites W1541434994 @default.
• W2394927100 cites W1585614051 @default.
• W2394927100 cites W1979966822 @default.
• W2394927100 cites W2165876990 @default.
• W2394927100 cites W2166996723 @default.
• W2394927100 cites W2199182687 @default.
• W2394927100 cites W2206328804 @default.
• W2394927100 cites W2406335022 @default.
• W2394927100 cites W2408725339 @default.
• W2394927100 cites W2915030386 @default.
• W2394927100 cites W1985455954 @default.
• W2394927100 hasPublicationYear "2013" @default.
• W2394927100 type Work @default.
• W2394927100 sameAs 2394927100 @default.
• W2394927100 citedByCount "2" @default.
• W2394927100 countsByYear W23949271002017 @default.
• W2394927100 countsByYear W23949271002019 @default.
• W2394927100 crossrefType "proceedings-article" @default.
• W2394927100 hasAuthorship W2394927100A5013114471 @default.
• W2394927100 hasAuthorship W2394927100A5018971727 @default.
• W2394927100 hasAuthorship W2394927100A5030821392 @default.
• W2394927100 hasAuthorship W2394927100A5059918476 @default.
• W2394927100 hasAuthorship W2394927100A5061282222 @default.
• W2394927100 hasAuthorship W2394927100A5066015052 @default.
• W2394927100 hasAuthorship W2394927100A5069613228 @default.
• W2394927100 hasAuthorship W2394927100A5079615991 @default.
• W2394927100 hasAuthorship W2394927100A5088439361 @default.
• W2394927100 hasConcept C102993220 @default.
• W2394927100 hasConcept C128838566 @default.
• W2394927100 hasConcept C138885662 @default.
• W2394927100 hasConcept C140843580 @default.
• W2394927100 hasConcept C148230440 @default.
• W2394927100 hasConcept C154945302 @default.
• W2394927100 hasConcept C159032336 @default.
• W2394927100 hasConcept C161301231 @default.
• W2394927100 hasConcept C168065819 @default.
• W2394927100 hasConcept C184337299 @default.
• W2394927100 hasConcept C199360897 @default.
• W2394927100 hasConcept C2185349 @default.
• W2394927100 hasConcept C41008148 @default.
• W2394927100 hasConcept C41895202 @default.
• W2394927100 hasConcept C4554734 @default.
• W2394927100 hasConcept C62360110 @default.
• W2394927100 hasConcept C75291252 @default.
• W2394927100 hasConcept C80444323 @default.
• W2394927100 hasConceptScore W2394927100C102993220 @default.
• W2394927100 hasConceptScore W2394927100C128838566 @default.
• W2394927100 hasConceptScore W2394927100C138885662 @default.
• W2394927100 hasConceptScore W2394927100C140843580 @default.
• W2394927100 hasConceptScore W2394927100C148230440 @default.
• W2394927100 hasConceptScore W2394927100C154945302 @default.
• W2394927100 hasConceptScore W2394927100C159032336 @default.
• W2394927100 hasConceptScore W2394927100C161301231 @default.
• W2394927100 hasConceptScore W2394927100C168065819 @default.
• W2394927100 hasConceptScore W2394927100C184337299 @default.
• W2394927100 hasConceptScore W2394927100C199360897 @default.
• W2394927100 hasConceptScore W2394927100C2185349 @default.
• W2394927100 hasConceptScore W2394927100C41008148 @default.
• W2394927100 hasConceptScore W2394927100C41895202 @default.
• W2394927100 hasConceptScore W2394927100C4554734 @default.
• W2394927100 hasConceptScore W2394927100C62360110 @default.
• W2394927100 hasConceptScore W2394927100C75291252 @default.
• W2394927100 hasConceptScore W2394927100C80444323 @default.
• W2394927100 hasLocation W23949271001 @default.
• W2394927100 hasOpenAccess W2394927100 @default.
• W2394927100 hasPrimaryLocation W23949271001 @default.
• W2394927100 hasRelatedWork W120747662 @default.
• W2394927100 hasRelatedWork W1493799155 @default.
• W2394927100 hasRelatedWork W1502733280 @default.
• W2394927100 hasRelatedWork W1537193727 @default.
• W2394927100 hasRelatedWork W1563413391 @default.
• W2394927100 hasRelatedWork W1578725873 @default.
• W2394927100 hasRelatedWork W1585132271 @default.
• W2394927100 hasRelatedWork W1696142211 @default.
• W2394927100 hasRelatedWork W1757790192 @default.
• W2394927100 hasRelatedWork W1986318362 @default.
• W2394927100 hasRelatedWork W2097626996 @default.
• W2394927100 hasRelatedWork W2124270180 @default.
• W2394927100 hasRelatedWork W2134138084 @default.
• W2394927100 hasRelatedWork W2162403960 @default.
• W2394927100 hasRelatedWork W2166780425 @default.
• W2394927100 hasRelatedWork W2245766362 @default.
• W2394927100 hasRelatedWork W2475352593 @default.
• W2394927100 hasRelatedWork W3000705220 @default.

• next