Automated reasoning support for first-order ontologies

Simple item page
dc.contributor.authorBaumgartner, Peter
dc.contributor.authorSuchanek, Fabian M.
dc.date.accessioned2015-12-07T22:33:21Z
dc.date.issued2006
dc.date.updated2015-12-07T10:30:14Z
dc.identifier.isbn9783540395867
dc.identifier.urihttp://hdl.handle.net/1885/23228
dc.publisherSpringer
dc.relation.ispartofPrinciples and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006
dc.relation.isversionof1st Edition
dc.titleAutomated reasoning support for first-order ontologies
dc.typeBook chapter
local.bibliographicCitation.lastpage32
local.bibliographicCitation.placeofpublicationBerlin
local.bibliographicCitation.startpage18
local.contributor.affiliationBaumgartner, Peter, College of Engineering and Computer Science, ANU
local.contributor.affiliationSuchanek, Fabian M., Max Planck Institute for Informatics
local.contributor.authoremailu1815000@anu.edu.au
local.contributor.authoruidBaumgartner, Peter, u1815000
local.description.embargo2037-12-31
local.description.notesImported from ARIES
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationu8803936xPUB25
local.identifier.uidSubmittedByu8803936
local.type.statusPublished Version

Downloads

Original bundle

Now showing 1 - 4 of 4
No Thumbnail Available
Name:
01_Baumgartner_Automated_reasoning_support_2006.pdf
Size:
147.68 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
02_Baumgartner_Automated_reasoning_support_2006.pdf
Size:
369.81 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
03_Baumgartner_Automated_reasoning_support_2006.pdf
Size:
131.84 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
04_Baumgartner_Automated_reasoning_support_2006.pdf
Size:
27.06 KB
Format:
Adobe Portable Document Format
Download

Collections

ANU Research Publications

DSpace software copyright © 2002-2024 LYRASIS