351 search results - page 35 / 71 » Completing Description Logic Knowledge Bases Using Formal Co... |
101
click to vote
AAAI
2007
15 years 2 months ago
2007
bstract or nonliving entities act or are described as living. And living things gain extra benefits such as animals talking. For this reason, the standard scripts are modified to a...
EDOC
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
109
click to vote
SYNTHESE
2011
14 years 6 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
101
click to vote
CI
1999
14 years 11 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...