liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: Web Reasoning and Rule Systems / [ed] Massimo Marchiori; Jeff Z. Pan; Christian de Sainte Marie, Springer Berlin/Heidelberg, 2007, s. 348-357Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Springer Berlin/Heidelberg, 2007. s. 348-357
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 4524
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-40839DOI: 10.1007/978-3-540-72982-2_29Lokal ID: 54291ISBN: 978-3-540-72981-5 (tryckt)ISBN: 3-540-72981-X (tryckt)OAI: oai:DiVA.org:liu-40839DiVA, id: diva2:261688
Konferanse
First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007
Tilgjengelig fra: 2009-10-10 Laget: 2009-10-10 Sist oppdatert: 2020-10-19bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstfind book at a swedish library/hitta boken i ett svenskt bibliotek

Person

Drabent, WlodzimierzMaluszynski, Jan

Søk i DiVA

Av forfatter/redaktør
Drabent, WlodzimierzMaluszynski, Jan
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 61 treff
RefereraExporteraLink to record
Permanent link

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