Automated reasoning support for first-order ontologies

dc.contributor.author	Baumgartner, Peter
dc.contributor.author	Suchanek, Fabian M.
dc.date.accessioned	2015-12-07T22:33:21Z
dc.identifier.isbn	9783540395867
dc.identifier.uri	http://hdl.handle.net/1885/23228
dc.publisher	Springer
dc.relation.ispartof	Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006
dc.relation.isversionof	1st Edition
dc.title	Automated reasoning support for first-order ontologies
dc.type	Book chapter
local.description.notes	Imported from ARIES
dc.date.issued	2006
local.identifier.absfor	080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublication	u8803936xPUB25
local.type.status	Published Version
local.contributor.affiliation	Baumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliation	Suchanek, Fabian M., Max Planck Institute for Informatics
local.description.embargo	2037-12-31
local.bibliographicCitation.startpage	18
local.bibliographicCitation.lastpage	32
dc.date.updated	2015-12-07T10:30:14Z
local.bibliographicCitation.placeofpublication	Berlin
Collections	ANU Research Publications

File	Size	Format	Image
01_Baumgartner_Automated_reasoning_support_2006.pdf	147.68 kB	Adobe PDF	Request a copy
02_Baumgartner_Automated_reasoning_support_2006.pdf	369.81 kB	Adobe PDF	Request a copy
03_Baumgartner_Automated_reasoning_support_2006.pdf	131.84 kB	Adobe PDF	Request a copy
04_Baumgartner_Automated_reasoning_support_2006.pdf	27.06 kB	Adobe PDF	Request a copy

Show simple item record