liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics
Linköpings universitet, Institutionen för datavetenskap, TCSLAB - Laboratoriet för teoretisk datalogi. Linköpings universitet, Tekniska högskolan. Institute of Computer Science, Polish Academy of Sciences, Warszawa, Poland.
Technische Universität Dresden, Germany.
Linköpings universitet, Institutionen för datavetenskap, TCSLAB - Laboratoriet för teoretisk datalogi. Linköpings universitet, Tekniska högskolan.
2007 (Engelska)Ingår i: Web Reasoning and Rule Systems / [ed] Massimo Marchiori; Jeff Z. Pan; Christian de Sainte Marie, Springer Berlin/Heidelberg, 2007, s. 348-357Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The paper presents an architecture and implementation techniques for hybrid integration of normal clauses under well-founded semantics with ontologies specified in Description Logics. The described prototype uses XSB Prolog both for rule reasoning and for controlling communication with the ontology reasoner RacerPro. The query answering techniques for hybrid rules implemented in this prototype are sound wrt. the declarative semantics, extending the well-founded semantics of normal programs and are faithful wrt. FOL.

Ort, förlag, år, upplaga, sidor
Springer Berlin/Heidelberg, 2007. s. 348-357
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 4524
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-40839DOI: 10.1007/978-3-540-72982-2_29Lokalt ID: 54291ISBN: 978-3-540-72981-5 (tryckt)ISBN: 3-540-72981-X (tryckt)OAI: oai:DiVA.org:liu-40839DiVA, id: diva2:261688
Konferens
First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007
Tillgänglig från: 2009-10-10 Skapad: 2009-10-10 Senast uppdaterad: 2020-10-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextfind book at a swedish library/hitta boken i ett svenskt bibliotek

Person

Drabent, WlodzimierzMaluszynski, Jan

Sök vidare i DiVA

Av författaren/redaktören
Drabent, WlodzimierzMaluszynski, Jan
Av organisationen
TCSLAB - Laboratoriet för teoretisk datalogiTekniska högskolan
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 60 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf