63 search results - page 13 / 13 » Metalevel Information in Ontology-Based Applications |
IJCAI
2007
13 years 6 months ago
2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
BMCBI
2008
13 years 5 months ago
2008
Background: Amines are biogenic amino acid derivatives, which play pleiotropic and very important yet complex roles in animal physiology. For many other relevant biomolecules, bio...
FOIKS
2006
Springer
13 years 9 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...