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
Combining safe rules and ontologies by interfacing of reasoners
Linköpings universitet, Institutionen för datavetenskap, PELAB - Laboratoriet för programmeringsomgivningar. Linköpings universitet, Tekniska högskolan.
Technical University of Dresden, Germany.
Linköpings universitet, Institutionen för datavetenskap, TCSLAB - Laboratoriet för teoretisk datalogi. Linköpings universitet, Tekniska högskolan.
2006 (engelsk)Inngår i: Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / [ed] Jóse Júlio Alferes, James Bailey, Wolfgang May and Uta Schwertel, Springer Berlin/Heidelberg, 2006, Vol. 4187, s. 33-47Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]

The paper presents a framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages. It shows how reasoning in a combined language can be done by interfacing reasoners of the component languages. A prototype system based on the presented principle integrates Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (e.g. Racer [17]).

sted, utgiver, år, opplag, sider
Springer Berlin/Heidelberg, 2006. Vol. 4187, s. 33-47
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 4187
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-48048DOI: 10.1007/11853107_3ISBN: 3-540-39586-5 (tryckt)ISBN: 978-3-540-39586-7 (tryckt)OAI: oai:DiVA.org:liu-48048DiVA, id: diva2:268944
Tilgjengelig fra: 2009-10-11 Laget: 2009-10-11 Sist oppdatert: 2018-02-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

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

Person

Assmann, UweMaluszynski, Jan

Søk i DiVA

Av forfatter/redaktør
Assmann, UweMaluszynski, Jan
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 344 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