Sciweavers

571 search results - page 9 / 115
» Ontological Modelling of Surgical Knowledge
Sort
View
DLOG
2009
14 years 7 months ago
Consequence-Driven Reasoning for Horn SHIQ Ontologies
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
Yevgeny Kazakov
AO
2006
97views more  AO 2006»
14 years 9 months ago
An ontological model of device function: industrial deployment and lessons learned
Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sha...
Yoshinobu Kitamura, Yusuke Koji, Riichiro Mizoguch...
CORR
2011
Springer
186views Education» more  CORR 2011»
14 years 4 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
SOSYM
2002
188views more  SOSYM 2002»
14 years 9 months ago
Extending the Unified Modeling Language for ontology development
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Ko...
WOB
2004
14 years 11 months ago
An Integrated Model for Cellular Analysis
ABSTRACT. We present the MOlecular NETwork (MONET) ontology as a model to integrate data from different networks that govern cell function. To achieve this, different existing onto...
Eduardo Battistella, José Souza, Clá...