- From: Ulrike Sattler <sattler@cs.man.ac.uk>
- Date: Wed, 6 Jun 2007 11:14:05 +0200
- To: dl@dl.kr.org, dl@lists.manchester.ac.uk, public-owl-dev@w3.org, kweb-all@lists.deri.org, tones@inf.unibz.it, rewerse-all@rewerse.net, public-semweb-lifesci@w3.org
Hi all, the Journal for Logic and Computation (see http:// logcom.oxfordjournals.org/) now has a "corner" (think of it as a sub- section) on Logic for Ontology Engineering We cordially invite you to submit suitable papers -- here is our description of this corner: Ontologies are used to enable computers and humans to better ‘understand’ and reason about the meaning of terms. For example, in the Semantic Web, terms whose meaning is defined in an ontology can be used to annotate web accessible information and services, so they can be more easily found and used. Ontologies are now under development and/or in use in areas as diverse as geography, astronomy, defence, the automotive and aerospace industries, and the life sciences, where they are used to formalize biological and medical terminologies. Various logic-based formalisms and automated reasoning techniques are being used in order to facilitate such understanding, and in order to help the domain experts to construct, maintain, and use ontologies. The ‘Logic for Ontology Engineering’ corner welcomes contributions in the area of logic-based formalisms for ontology engineering, including the investigation of reasoning problems, reasoning techniques, their implementation, and tool support. Best regards, Ian Horrocks and Uli Sattler
Received on Wednesday, 6 June 2007 09:14:18 UTC