Abstract. Typical ontology matching applications, such as ontology integration, focus on the computation of correspondences holding between the nodes of two graph-like structures, ...
Abstract. In this paper I argue that a qualitative formalization of built environments needs to take into account: (1) the ontological distinction between bonafide and fiat bound...
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
Gal Lavee, Artyom Borzin, Ehud Rivlin, Michael Rud...
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...