Sciweavers

1393 search results - page 16 / 279
» Using AI in Knowledge Management: Knowledge Bases and Ontolo...
Sort
View
ODR
2008
13 years 9 months ago
A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...
MTSR
2007
Springer
14 years 1 months ago
Using Agricultural Ontologies
Despite the growing number of ontologies online available, their range of application in real world projects is comparatively limited. This paper describes the construction of an o...
Michael T. Maliappis
AI
2004
Springer
14 years 1 months ago
Knowledge Provenance
Knowledge Provenance (KP) is proposed to address the problem of how to determine the validity and origin of web information by introducing standards and methods for modeling and ma...
Mark S. Fox, Jingwei Huang
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
14 years 1 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
CORR
2011
Springer
186views Education» more  CORR 2011»
13 years 2 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,...