Formalizing Temporal Constraints on Part-Whole Relations. (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Formalizing Temporal Constraints on Part-Whole Relations. (Contributo in atti di convegno) (literal)

Anno

• 2008-01-01T00:00:00+01:00 (literal)

Alternative label

• Alessandro Artale; Nicola Guarino; Marijke Keet (2008)
  Formalizing Temporal Constraints on Part-Whole Relations.
  in KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Alessandro Artale; Nicola Guarino; Marijke Keet (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta

• Menlo Park, CA (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Free University of Bolzano; ISTC-CNR; Free University of Bolzano (literal)

Titolo

• Formalizing Temporal Constraints on Part-Whole Relations. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana

• KR 2008: Eleventh International Conference on Principles of Knowledge Representation and Reasoning (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-1-57735-384-3 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Geert Brewka; Jerome Lang (literal)

Abstract

• Representing part-whole relations and effectively using them in domain ontologies and conceptual data mod- els poses multiple challenges. In this paper we face the issue of imposing temporal constraints on part-whole relationships, introducing a way to account for essen- tial and immutable parts (and wholes) in addition to the usual mandatory parts (and wholes). Our approach is based on i) an explicit temporalization of the part-whole relation, which allows us to introduce a novel notion of status for part-whole relationships; ii) an explicit ac- count of the ontological nature of the classes involved in a part-whole relationships, which distinguishes be- tween rigid and anti-rigid classes. The main novelty in this paper is to resort to a temporal logic approach to capture the above mentioned notions. The formalization proposed here is grounded on the temporal description logic DLRUS and is based on previous succe (literal)

Editore

• AAAI Press (Editore)

Prodotto di

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende (ICT.P08.007.001) (Modulo)

Autore CNR

• NICOLA GUARINO (Persona)

Insieme di parole chiave

• Keywords of "Formalizing Temporal Constraints on Part-Whole Relations." (Insieme di parole chiave)

Incoming links:

Prodotto

• Institute of cognitive sciences and technologies (ISTC) (Istituto)
• Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende (ICT.P08.007.001) (Modulo)

Autore CNR di

• NICOLA GUARINO (Persona)

Editore di

• AAAI Press (Editore)

Insieme di parole chiave di

• Keywords of "Formalizing Temporal Constraints on Part-Whole Relations." (Insieme di parole chiave)