REWERSE-RP-2004-10

Jakob Henriksson, Jan Małuszyński:
Static Typechecking of Datalog with Ontologies.


In: Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France (6th - 10th September 2004), Organization: REWERSE, LNCS 3208, 2004
© Springer

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-10

BibTeX:

@inproceedings{REWERSE-RP-2004-10,
	author = {Jakob Henriksson and Jan Ma\luszyński},
	title = {Static Typechecking of Datalog with Ontologies},
	booktitle = {Proceedings of Workshop on Principles and Practice of Semantic Web Reasoning, St. Malo, France (6th--10th September 2004)},
	year = {2004},
	volume = {3208},
	organization = {REWERSE},
	series = {LNCS},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2004-10}
}