38 search results - page 3 / 8 » Revisiting the Ontological Square |
AAAI
1994
14 years 10 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
15 years 3 months ago
2007
Springer
105
click to vote
DLOG
2007
14 years 12 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
14 years 12 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
14 years 9 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...