351 search results - page 26 / 71 » Completing Description Logic Knowledge Bases Using Formal Co... |
DEXAW
2002
IEEE
15 years 2 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
IEAAIE
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents a strategy to handle incomplete knowledge during acquisition process. The goal of this research is to develop formal tools that benefit the law of semantic bala...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
CAISE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
ASWC
2006
Springer
15 years 1 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...