364 search results - page 17 / 73 » Description Logics for Relative Terminologies |
IJCAI
2003
13 years 9 months ago
2003
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
BRAIN
2010
Springer
13 years 4 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper describes the Jur-Wordnet (Jur-IWN) project, whose objective is an ontology-based extension to the legal domain of the Italian version of EuroWordNet. It aims at providi...
DLOG
2007
13 years 10 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
IADIS
2004
13 years 9 months ago
2004
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...