- 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:16 UTC