Reasoning Support for OWL-E

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationContributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
EditorsUlrike Sattler
PublisherCEUR-WS.org
Number of pages5
Publication statusPublished - 23 Jul 2004
EventThe 2nd International Joint Conference on Automated Reasoning 2004 - Cork, Ireland
Duration: 4 Jul 20048 Jul 2004
Conference number: 2

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS.org
Volume106
ISSN (Electronic)1613-0073

Conference

ConferenceThe 2nd International Joint Conference on Automated Reasoning 2004
Abbreviated titleIJCAR 2004
Country/TerritoryIreland
CityCork
Period4/07/048/07/04

Cite this