38 search results - page 3 / 8 » Revisiting the Ontological Square |
AAAI
1994
13 years 8 months ago
1994
Formalizing the ontological commitment of a logical language means offering a way to specify the intended meaning of its vocabulary by constraining the set of its models, giving e...
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
DLOG
2007
13 years 9 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
DLOG
2008
13 years 9 months ago
2008
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
COMBINATORICS
2007
13 years 7 months ago
2007
In this paper, we revisit the enumeration of directed animals using gas models. We show that there exists a natural construction of random directed animals on any directed graph t...