A Distributed Tableau Algorithm for Package-based Description Logics

First Page		Document Content
Date: 2006-05-28 18:22:03 Mathematics Knowledge engineering Knowledge representation Semantic Web Artificial intelligence Description logic Semantic reasoner Ontology D-module Science Information Information science		A Distributed Tableau Algorithm for Package-based Description Logics Add to Reading List Source URL: www.cs.iastate.edu Download Document from Source Website File Size: 195,05 KB Share Document on Facebook

	Canonical Forms for Isomorphic and Equivalent RDF Graphs: Algorithms for Leaning and Labelling Blank Nodes AIDAN HOGAN, Center for Semantic Web Research, DCC, University of Chile, Chile Existential blank nodes greatly co DocID: 1xUfD - View Document
	PDF Document DocID: 1wVDC - View Document
	PDF Document DocID: 1wLRt - View Document
	PDF Document DocID: 1vWk2 - View Document
	PDF Document DocID: 1vMDP - View Document