Taxon: A concept language with concrete domains

2005 ◽  
pp. 411-413 ◽  
Author(s):  
Philipp Hanschke ◽  
Andreas Abecker ◽  
Dennis Drollinger
Keyword(s):  
Concrete Domains

Verification column

2021 ◽  
Vol 8 (3) ◽  
pp. 5-5
Author(s):  
Ranko Lazić
Keyword(s):  
Future Work ◽  
Concrete Domains

Given the extensive applications of logics with concrete domains in verification and related areas, the shortage of an accessible survey on the topic is quite surprising. This article does much more than fill the gap, providing also useful and inspiring pointers for future work.

scholarly journals Reasoning in ${\mathcal{ALC}}$ with Fuzzy Concrete Domains

2014 ◽  
pp. 171-182 ◽  
Author(s):  
Dorian Merz ◽  
Rafael Peñaloza ◽  
Anni-Yasmin Turhan
Keyword(s):  
Concrete Domains

scholarly journals Query Rewriting for DL-Lite with n-ary Concrete Domains

2017 ◽  
Author(s):  
Franz Baader ◽  
Stefan Borgwardt ◽  
Marcel Lippmann
Keyword(s):  
Query Answering ◽  
Query Rewriting ◽  
First Order ◽  
Ontology Language ◽  
Concrete Domains

We investigate ontology-based query answering (OBQA) in a setting where both the ontology and the query can refer to concrete values such as numbers and strings. In contrast to previous work on this topic, the built-in predicates used to compare values are not restricted to being unary. We introduce restrictions on these predicates and on the ontology language that allow us to reduce OBQA to query answering in databases using the so-called combined rewriting approach. Though at first sight our restrictions are different from the ones used in previous work, we show that our results strictly subsume some of the existing first-order rewritability results for unary predicates.

scholarly journals A Study of Hot and Cold Metaphors in Iraqi Arabic

2020 ◽  
Vol 2 (2) ◽  
pp. 46-58
Author(s):  
Khalid Wahaab Jabber ◽  
Hayder Tuama Jasim Al-Saedi
Keyword(s):  
Data Analysis ◽  
The Other ◽  
Sampled Data ◽  
Abstract Concepts ◽  
Conceptual Metaphor Theory ◽  
Metaphor Theory ◽  
Idiomatic Expressions ◽  
Abstract Domains ◽  
Arabic Speaker ◽  
Concrete Domains

The present study is an attempt to explore the ways of an Iraqi Arabic speaker conceptualises his/her understanding of various abstract domains of emotions or feeling and attitudes through his/her experiences of concrete domains of Cold and Hot metaphors. Lakoff & Johnson’s (1980) Conceptual Metaphor Theory is adopted to analyse the collected data. Idiomatic expressions and proverbs are chosen specifically from the southern dialect where they are widely used in daily interaction. The data analysis classified the results according to their abstract and concrete domains of the sampled data. The findings of this study showed different conceptualisations of the Hot and Cold metaphor in Iraqi Arabic. The study concluded that these metaphors are used to conceive more of the abstract concepts of emotions, feelings, and attitudes. Cold domain is used to conceptualise the bad habits of people, and it is also used to conceptualise some good habits, on the other hand. Whereas Hot domain is used to conceptualise the more intensive of emotions and attitudes. The study concluded that the sharp emotions, feelings and attitudes that are understood from the conceptualisation of Hot and Cold conceptual metaphors, are experienced from the more concrete domains of hard things. 

The Nature of Metaphor

2021 ◽  
pp. 33-46
Author(s):  
Abraham Fuks
Keyword(s):  
Figurative Language ◽  
Written Language ◽  
Abstract Concept ◽  
Target Domain ◽  
Source Domain ◽  
The Public ◽  
Daily Interactions ◽  
Abstract Ideas ◽  
Concrete Domains ◽  
Medical Writings

Metaphors are ubiquitous features of spoken and written language that permit us to experience one thing in terms of another. “Seeing is believing” helps us understand the abstract concept of belief in terms of the concrete sense of sight. Derived from two Greek words that mean “to transfer,” metaphors transfer certain attributes from the source domain, in our example, Seeing to the target domain of Believing. The chapter explores how metaphors have cognitive properties and allow us to learn new things and to express abstract ideas and complex relations. Metaphors are a powerful trope of figurative language and commonly appear in both formal medical writings and the informal daily interactions of doctors, patients, and the public more generally. The chapter describes how metaphors connect abstract and concrete domains and offers an array of examples that helps us decipher how metaphors originate from human experiences and how they evolve. It explores how metaphors frame perceptions and shape reality and their potency in the language of the clinic.

Sign in / Sign up

Export Citation Format

Share Document