FRINK Linked Data Fragments server

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

• W9474893 endingPage "1595" @default.
• W9474893 startingPage "1594" @default.
• W9474893 abstract "The development of the Semantic Web [Berners Lee et al., 2001] proceeds in layers, each layer being on top of the others. At present, the highest layer that has reached sufficient maturity is the ontology layer in the form of the description logic based languages, DAML+OIL and OWL. The next step in the development of the Semantic Web will be the logic and proof layers. Rule systems can play a twofold role in the Semantic Web initiative: (a) they can serve as extensions of, or alternatives to, description logic based ontology languages; and (b) they can be used to develop declarative systems on top (using) ontologies. Defeasible reasoning is a simple rule-based approach to reasoning with incomplete and inconsistent information. It can represent facts, rules, and priorities among rules. Its main advantage is the combination of enhanced representational capabilities allowing one to reason with incomplete and contradictory information, coupled with low computational complexity compared to mainstream nonmonotonic reasoning . In this paper we report on the implementation of a defeasible reasoning system for reasoning on the Web. Its main characteristics are the following: (a) It is compatible with RuleML (details in full paper); (b) It is based on Prolog. The core of the system consists of a well-studied translation [Antoniou et. al., 2001] of defeasible knowledge into logic programs under Well-Founded Semantics [van Gelder et al., 1991]; (c) The main focus is on flexibility. Strict and defeasible rules and priorities are part of the interface and the implementation. Also, a number of variants are implemented (ambiguity blocking/propagation, conflicting literals); (d) The system can reason with rules and ontological knowledge, through the transformation of the RDFS constructs and many OWL constructs into rules." @default.
• W9474893 created "2016-06-24" @default.
• W9474893 creator A5018289832 @default.
• W9474893 creator A5059707016 @default.
• W9474893 date "2005-07-09" @default.
• W9474893 modified "2023-09-24" @default.
• W9474893 title "DR-Prolog: a system for reasoning with rules and ontologies on the semantic web" @default.
• W9474893 cites W120305093 @default.
• W9474893 cites W1481132118 @default.
• W9474893 cites W148452912 @default.
• W9474893 cites W1501129163 @default.
• W9474893 cites W1519069519 @default.
• W9474893 cites W1526822664 @default.
• W9474893 cites W1550571039 @default.
• W9474893 cites W1554062985 @default.
• W9474893 cites W1554361878 @default.
• W9474893 cites W1556982841 @default.
• W9474893 cites W1565595968 @default.
• W9474893 cites W1577783107 @default.
• W9474893 cites W1637985016 @default.
• W9474893 cites W173530971 @default.
• W9474893 cites W1968513265 @default.
• W9474893 cites W2010210638 @default.
• W9474893 cites W2020992910 @default.
• W9474893 cites W2043899329 @default.
• W9474893 cites W2059572645 @default.
• W9474893 cites W2098791425 @default.
• W9474893 cites W2102489156 @default.
• W9474893 cites W2109029617 @default.
• W9474893 cites W2118078906 @default.
• W9474893 cites W2914514117 @default.
• W9474893 cites W2952727465 @default.
• W9474893 cites W3122623289 @default.
• W9474893 cites W610916638 @default.
• W9474893 cites W23685451 @default.
• W9474893 hasPublicationYear "2005" @default.
• W9474893 type Work @default.
• W9474893 sameAs 9474893 @default.
• W9474893 citedByCount "4" @default.
• W9474893 countsByYear W94748932012 @default.
• W9474893 countsByYear W94748932013 @default.
• W9474893 crossrefType "proceedings-article" @default.
• W9474893 hasAuthorship W9474893A5018289832 @default.
• W9474893 hasAuthorship W9474893A5059707016 @default.
• W9474893 hasConcept C101230327 @default.
• W9474893 hasConcept C102993220 @default.
• W9474893 hasConcept C111472728 @default.
• W9474893 hasConcept C128838566 @default.
• W9474893 hasConcept C136764020 @default.
• W9474893 hasConcept C138885662 @default.
• W9474893 hasConcept C140843580 @default.
• W9474893 hasConcept C148792806 @default.
• W9474893 hasConcept C154945302 @default.
• W9474893 hasConcept C159032336 @default.
• W9474893 hasConcept C167379230 @default.
• W9474893 hasConcept C189139006 @default.
• W9474893 hasConcept C193856179 @default.
• W9474893 hasConcept C196388810 @default.
• W9474893 hasConcept C199360897 @default.
• W9474893 hasConcept C2129575 @default.
• W9474893 hasConcept C25810664 @default.
• W9474893 hasConcept C41008148 @default.
• W9474893 hasConcept C45874996 @default.
• W9474893 hasConcept C61673122 @default.
• W9474893 hasConcept C71695816 @default.
• W9474893 hasConcept C81721847 @default.
• W9474893 hasConcept C8797682 @default.
• W9474893 hasConcept C89288958 @default.
• W9474893 hasConceptScore W9474893C101230327 @default.
• W9474893 hasConceptScore W9474893C102993220 @default.
• W9474893 hasConceptScore W9474893C111472728 @default.
• W9474893 hasConceptScore W9474893C128838566 @default.
• W9474893 hasConceptScore W9474893C136764020 @default.
• W9474893 hasConceptScore W9474893C138885662 @default.
• W9474893 hasConceptScore W9474893C140843580 @default.
• W9474893 hasConceptScore W9474893C148792806 @default.
• W9474893 hasConceptScore W9474893C154945302 @default.
• W9474893 hasConceptScore W9474893C159032336 @default.
• W9474893 hasConceptScore W9474893C167379230 @default.
• W9474893 hasConceptScore W9474893C189139006 @default.
• W9474893 hasConceptScore W9474893C193856179 @default.
• W9474893 hasConceptScore W9474893C196388810 @default.
• W9474893 hasConceptScore W9474893C199360897 @default.
• W9474893 hasConceptScore W9474893C2129575 @default.
• W9474893 hasConceptScore W9474893C25810664 @default.
• W9474893 hasConceptScore W9474893C41008148 @default.
• W9474893 hasConceptScore W9474893C45874996 @default.
• W9474893 hasConceptScore W9474893C61673122 @default.
• W9474893 hasConceptScore W9474893C71695816 @default.
• W9474893 hasConceptScore W9474893C81721847 @default.
• W9474893 hasConceptScore W9474893C8797682 @default.
• W9474893 hasConceptScore W9474893C89288958 @default.
• W9474893 hasLocation W94748931 @default.
• W9474893 hasOpenAccess W9474893 @default.
• W9474893 hasPrimaryLocation W94748931 @default.
• W9474893 hasRelatedWork W1474721178 @default.
• W9474893 hasRelatedWork W1524812096 @default.
• W9474893 hasRelatedWork W1562643504 @default.

• next