www.researchgate.net/publication/337031804_Semantica_e_Multi...

来自 : www.researchgate.net/publicati 发布时间：2021-03-25

One of the early description logic implementations of RCC8 was ALCRA⊖,which extended ALC with composition-based role axioms of the form S∘T⊑R1t... tRn,n51, enforcing SI∘TIRI1[...[RInon models I[123].The ALC(DRCC8) description logic was specially designed to implement RCC8[124]. By using the basic RCC8 relations and their combinations, ALC(DRCC8)issuitable for qualitative spatial representation and reasoning, where the spatialregions are regular subsets of a topological space.The RCC8 predicates can also be defined as a set of complex roles using the role-forming predicate-based operator of ALCRP(D), e.g.,Disconnected ¼:∃(has_area)(has_area).DCConnected ¼:∃(has_area)(has_area).CALCRP(D)can be used directly for representing spatial relationships betweenstationary objects in videos as follows:disconnectedWith ¼:∃(concept_1)(concept_2).DCconnectedWith ¼:∃(concept_1)(concept_2).CUsing the above description logic formalism, a topological relationship ontologywas proposed for describing moving objects in videos. For moving objects, Na et al.considered line-region topological relationships, where a stationary object depictedin the video is described by a region, and the trajectory of a moving object isrepresented by a line. Their nine-intersection line-region topological model can beapplied to three different object types: area, line, and point. It characterizes thetopological relation between two point sets, Aand B, by the set intersections of A’sinterior (A0), boundary (∂A), and exterior (A–) with the interior, boundary, andexterior of B(see Eq. 4.1).IA;BðÞ¼A0\\B0A0\\∂BA0\\B∂A\\B0∂A\\∂B∂A\\BA\\B0A\\∂BA\\B0@1Að4:1ÞXDC(X,Y) EC(X,Y) EQ(X,Y) PO(X,Y)XXXXXXYYYYYYYXTPP(X,Y) TPPi(Y,X) NTPP(X,Y) NTPPi(Y,X)YFig. 4.2 Two-dimensionalexamples for the eight coreRCC8 relations4.2 Description Logic Families 89Figura 1.2. As relações do RCC8 [Sikos 2017].relações do RCC8. Outras DLs que podem ser utilizadas para raciocínio espacial são aslógicasALC(F)[Hudelot et al. 2015] eALC(CDC)[Cristiani and Gabrielli 2011]. Essasúltimas são propostas mais recentes que não se baseiam no RCC.Para descrever fatos no tempo podemos utilizar uma das várias lógicas temporaisdisponíveis. A maioria dessas lógicas são extensões que adicionam à DL os operadoresusuais de lógica temporal, isto é, operadores como♦(possivelmente no futuro) e(sempreno futuro). A lógica de descriçãoALC-LTL[Baader and Lippmann 2014] combinaALCcom Lógica Temporal Linear (Linear Temporal Logic, ou LTL), que adota uma noção detempo linear (sem ramificações) e é frequentemente utilizada na especificação de sistemasdinâmicos. Outra DL temporal é DL-CTL [Wang et al. 2014] que combina DL comComputational Tree Logic (CTL), uma lógica temporal com suporte a tempo não-linear(com ramificações). Há também uma extensão da lógica de descriçãoSHINque quandousada em conjunto com OWL é chamada de tOWL [Milea et al. 2012]. tOWL permite arepresentação de pontos no tempo e de relações entre pontos e intervalos.Extensões fuzzy de DLAs informações extraídas de dados multimídia são frequente-mente ambíguas e imprecisas. No entanto, as DLs tradicionais, por serem fragmentosde lógica de primeira ordem clássica, não cedem lugar a ambiguidade ou imprecisão—alógica é Booleana: um dado fato é verdadeiro ou é falso. Isso significa que quando usamosas DLs tradicionais para representar dados multimídia é possível que alguma informaçãoimportante sobre incerteza seja perdida. Ou pior, podemos induzir um falso senso decerteza quando tal certeza não existe. Uma forma de amenizar esse problema é representara incerteza na lógica.As lógicas fuzzy são um tipo particular de lógica multi-valorada (não-Booleana)cuja semântica envolve a noção de graus de verdade. Os graus de verdade da lógicafuncionam como possíveis “tons de cinza” entre os Booleanos verdadeiro e falso, e podemser usados para formalizar indefinição ou imprecisão. Existem diversas extensões fuzzy deDL. Um bom ponto de partida para estudá-las é [Borgwardt and Peñaloza 2017].XXV Simpósio Brasileiro de Sistemas Multimídia e Web: Minicursos21