Semantic Techniques for the Web: The REWERSE Perspective
<p>The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of non-monotonic rules in logic programming...
| Main Authors: | , , , , , |
|---|---|
| Format: | Book section |
| Published: |
2009
|
| _version_ | 1797065791492849664 |
|---|---|
| author | Drabent, W Eiter, T Ianni, G Krennwallner, T Lukasiewicz, T Maluszynski, J |
| author_facet | Drabent, W Eiter, T Ianni, G Krennwallner, T Lukasiewicz, T Maluszynski, J |
| author_sort | Drabent, W |
| collection | OXFORD |
| description | <p>The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of non-monotonic rules in logic programming. The one stream was an extension of non-monotonic logic programs under answer set semantics, with query interfaces to external knowledge sources. The other stream, in the spirit of the AL-log approach of enhanced deductive databases, was an extension of Datalog (with the well-founded semantics, which is predominant in the database area). The former stream led to so-called non-monotonic dl-programs and hex-programs, and the latter stream to hybrid well-founded semantics. Further variants and derivations of the formalisms (like a well-founded semantics for dl-programs, respecting probabilistic knowledge, priorities, etc.) have been conceived.</p> |
| first_indexed | 2024-03-06T21:33:39Z |
| format | Book section |
| id | oxford-uuid:458123d6-958e-4af3-9d5d-c0d3a59fde83 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:33:39Z |
| publishDate | 2009 |
| record_format | dspace |
| spelling | oxford-uuid:458123d6-958e-4af3-9d5d-c0d3a59fde832022-03-26T15:08:10ZSemantic Techniques for the Web: The REWERSE PerspectiveBook sectionhttp://purl.org/coar/resource_type/c_3248uuid:458123d6-958e-4af3-9d5d-c0d3a59fde83Department of Computer Science2009Drabent, WEiter, TIanni, GKrennwallner, TLukasiewicz, TMaluszynski, J<p>The purpose of this chapter is to report on work that has been done in the REWERSE project concerning hybrid reasoning with rules and ontologies. Two major streams of work have been pursued within REWERSE. They start from the predominant semantics of non-monotonic rules in logic programming. The one stream was an extension of non-monotonic logic programs under answer set semantics, with query interfaces to external knowledge sources. The other stream, in the spirit of the AL-log approach of enhanced deductive databases, was an extension of Datalog (with the well-founded semantics, which is predominant in the database area). The former stream led to so-called non-monotonic dl-programs and hex-programs, and the latter stream to hybrid well-founded semantics. Further variants and derivations of the formalisms (like a well-founded semantics for dl-programs, respecting probabilistic knowledge, priorities, etc.) have been conceived.</p> |
| spellingShingle | Drabent, W Eiter, T Ianni, G Krennwallner, T Lukasiewicz, T Maluszynski, J Semantic Techniques for the Web: The REWERSE Perspective |
| title | Semantic Techniques for the Web: The REWERSE Perspective |
| title_full | Semantic Techniques for the Web: The REWERSE Perspective |
| title_fullStr | Semantic Techniques for the Web: The REWERSE Perspective |
| title_full_unstemmed | Semantic Techniques for the Web: The REWERSE Perspective |
| title_short | Semantic Techniques for the Web: The REWERSE Perspective |
| title_sort | semantic techniques for the web the rewerse perspective |
| work_keys_str_mv | AT drabentw semantictechniquesforthewebtherewerseperspective AT eitert semantictechniquesforthewebtherewerseperspective AT iannig semantictechniquesforthewebtherewerseperspective AT krennwallnert semantictechniquesforthewebtherewerseperspective AT lukasiewiczt semantictechniquesforthewebtherewerseperspective AT maluszynskij semantictechniquesforthewebtherewerseperspective |