liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Static type-checking of Datalog with ontologies
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
2004 (English)In: Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings / [ed] Hans Jürgen Ohlbach and Sebastian Schaffert, Springer Berlin/Heidelberg, 2004, Vol. 3208, 76-89 p.Chapter in book (Refereed)
Abstract [en]

We show how coupling of the emerging rule level of the Semantic Web to the existing ontology level can be achieved by static typing of web rules of a given application with classes of the ontology describing the application domain. This paper describes the principles and the implementation of a system that checks correctness of a given set of Datalog rules encoded in XML (according to the RuleML standard) wrt a type specification, where the Datalog predicates are typed with classes described by an OWL ontology. The type checker is based on a well-known verification technique for logic programs and employs the RACER reasoner for checking the verification conditions.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2004. Vol. 3208, 76-89 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 3208
Keyword [en]
Semantic Web, ontologies, rules, logic programs
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-48274DOI: 10.1007/978-3-540-30122-6_6ISBN: 3-540-22961-2 (print)ISBN: 978-3-540-22961-2 (print)ISBN: e-978-3-540-30122-6 OAI: oai:DiVA.org:liu-48274DiVA: diva2:269170
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2013-11-04Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textfind book at a swedish library/hitta boken i ett svenskt bibliotekfind book in another country/hitta boken i ett annat land

Authority records BETA

Maluszynski, Jan

Search in DiVA

By author/editor
Maluszynski, Jan
By organisation
Department of Computer and Information ScienceThe Institute of TechnologyTCSLAB - Theoretical Computer Science Laboratory
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 25 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf