Matches in SemOpenAlex for { <https://semopenalex.org/work/W2475352593> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2475352593 abstract "Production Rules, Description Logic (DL) and Logic Programs(LP) are the key paradigms of knowledge representation. Production rules systems (particularly the JESS rule engine) are based on the Rete network and primarily support forward inferencing. However, they do not have proper semantics for negation. The Web Ontology Language (OWL) is based on description logic and cannot express rules. Several extensions to OWL including the OWL Rules Language(ORL), Semantic Web Rule Language(SWRL)have been proposed in order to overcome this deficiency. But, in order to keep the reasoning decidable we have resorted to the 'Description Logic Programs(DLP)' approach, which considers the intersection of description logic and logic programs and translates OWL constructs within the DLP subset to LP. Systems based on Logic programs, especially those supporting 'Well-Founded Semantics' (WFS) such as XSB have clean semantics for handling negation. However, it is harder to author rules in such systems because of lack of higher level primitives to specify priorities and conflict handling. All of the above systems do not have the ability to invoke external procedures which can perform side-effectful actions such as sensing and effecting. In this thesis, we present SweetRules which addresses all these issues by evangelizing Well-Founded Semantics and Situated and Courteous Logic Programs." @default.
- W2475352593 created "2016-07-22" @default.
- W2475352593 creator A5081702587 @default.
- W2475352593 date "2005-08-01" @default.
- W2475352593 modified "2023-09-23" @default.
- W2475352593 title "Extending the Non-monotonic Reasoning Infrastructure for the Semantic Web via Well-founded Negation and incremental Support for Courteous Logic Programs," @default.
- W2475352593 hasPublicationYear "2005" @default.
- W2475352593 type Work @default.
- W2475352593 sameAs 2475352593 @default.
- W2475352593 citedByCount "0" @default.
- W2475352593 crossrefType "journal-article" @default.
- W2475352593 hasAuthorship W2475352593A5081702587 @default.
- W2475352593 hasConcept C101230327 @default.
- W2475352593 hasConcept C102993220 @default.
- W2475352593 hasConcept C148792806 @default.
- W2475352593 hasConcept C154945302 @default.
- W2475352593 hasConcept C161301231 @default.
- W2475352593 hasConcept C199360897 @default.
- W2475352593 hasConcept C2129575 @default.
- W2475352593 hasConcept C2185349 @default.
- W2475352593 hasConcept C41008148 @default.
- W2475352593 hasConcept C511149849 @default.
- W2475352593 hasConcept C61673122 @default.
- W2475352593 hasConcept C71695816 @default.
- W2475352593 hasConcept C80444323 @default.
- W2475352593 hasConceptScore W2475352593C101230327 @default.
- W2475352593 hasConceptScore W2475352593C102993220 @default.
- W2475352593 hasConceptScore W2475352593C148792806 @default.
- W2475352593 hasConceptScore W2475352593C154945302 @default.
- W2475352593 hasConceptScore W2475352593C161301231 @default.
- W2475352593 hasConceptScore W2475352593C199360897 @default.
- W2475352593 hasConceptScore W2475352593C2129575 @default.
- W2475352593 hasConceptScore W2475352593C2185349 @default.
- W2475352593 hasConceptScore W2475352593C41008148 @default.
- W2475352593 hasConceptScore W2475352593C511149849 @default.
- W2475352593 hasConceptScore W2475352593C61673122 @default.
- W2475352593 hasConceptScore W2475352593C71695816 @default.
- W2475352593 hasConceptScore W2475352593C80444323 @default.
- W2475352593 hasLocation W24753525931 @default.
- W2475352593 hasOpenAccess W2475352593 @default.
- W2475352593 hasPrimaryLocation W24753525931 @default.
- W2475352593 hasRelatedWork W1493799155 @default.
- W2475352593 hasRelatedWork W1555674585 @default.
- W2475352593 hasRelatedWork W1561664582 @default.
- W2475352593 hasRelatedWork W1578725873 @default.
- W2475352593 hasRelatedWork W162078092 @default.
- W2475352593 hasRelatedWork W1696142211 @default.
- W2475352593 hasRelatedWork W1757790192 @default.
- W2475352593 hasRelatedWork W1847820984 @default.
- W2475352593 hasRelatedWork W1975682598 @default.
- W2475352593 hasRelatedWork W1986318362 @default.
- W2475352593 hasRelatedWork W2016620039 @default.
- W2475352593 hasRelatedWork W2097723210 @default.
- W2475352593 hasRelatedWork W2104646930 @default.
- W2475352593 hasRelatedWork W2124659164 @default.
- W2475352593 hasRelatedWork W2162403960 @default.
- W2475352593 hasRelatedWork W2170965609 @default.
- W2475352593 hasRelatedWork W2241042849 @default.
- W2475352593 hasRelatedWork W2523872970 @default.
- W2475352593 hasRelatedWork W2593163751 @default.
- W2475352593 hasRelatedWork W3104255688 @default.
- W2475352593 isParatext "false" @default.
- W2475352593 isRetracted "false" @default.
- W2475352593 magId "2475352593" @default.
- W2475352593 workType "article" @default.