下载文档原格式
Unit 2 Functions of languageOverviewTo further explore the nature of language, we naturally come to the question of what language is for. This unit deepens our understanding of the basics of language by offering refreshing ideas about language functions, which pave the way for the investigation of language in use, language evolution, language acquisition, and other important issues in linguistics.Text ALanguage is used for so many purposes (e.g., expressing feelings, providing information, and conducting social talking, to name just a few) that it is difficult for us to identify which one is its most basic (perhaps also its) original use. However, a careful examination of what language is good/bad at today can hopefully provide some useful clues to its basic function(s). Contrary to the mainstream assumptions, it has been observed that among its multiple purposes, language is good at interaction and persuasion but poor at information exchange.Text BThe hammer (with an iron head and a handle) is shaped to fulfill its functions of pounding nails into and removing them out of wood. Likewise, the form of language is also motivated by its basic functions. As a form-function composite, a linguistic unit consists of two parts, the signifier and the signified. The bond between the two parts is both arbitrary and motivated. It is arbitrary because there is no inherent connection between the form of a sign and its meaning; it is motivated in the sense that the bond between the signifier and the signified is intentional instead of rigid or random.The two texts approach the same issue from different perspectives. Text A discusses how the basic functions of a language can be traced in the development of language, while Text B focuses on the intriguing relationship between the form and the functions of language.Teaching objectivesThis unit is designed to help students develop their reading skills, communicative competence, critical thinking, intercultural competence and abilities of autonomous learning in the following aspects.Reading skills:Distinguish between general and specific statementsScan for a global understanding of the textRead charts, graphs and tables to organize and interpret informationCommunicative competence:Illustrate your points with appropriate examplesUse figures of speech to help Illustrate your pointsDifferentiate informative and affective uses of languageCritical thinking:Evaluate the logical strengths of the author’s evidence and supportOrganize and present your reasoning using diagramsIdentify and critique assumptions behind statementsIntercultural competenceAppreciate linguistic and cultural diversityInterpret language differences culturallyHave curiosity in and be ready to explore other languages and culturesTeaching strategiesThe functions of language are an interesting yet rather difficult topic. To arouse students’ interest, the teacher can start with a direct question “What do you think is the function of language?” or a more interesting one “In what way is language similar to a hammer?”The questions in Critical reading and Intercultural reflection are mostly mini-research projects. To guarantee quality answers from students and to improve the classroom efficiency, it is recommended to divide the class into groups and assign different tasks to them in advance. Each group is required to do in-depth researches on a few of the questions.Further readings on functions of language:Jakobson, Roman. (1960). Closing statement: linguistics and poetics. In Thomas A. Sebeok (ed.). Style in Language, Cambridge, MA.: The MIT Press. 350-377. Halliday, M.A.K. (1973). Explorations in the Functions of Language. London: Edward Arnold.Coq, John P. (1955). The Function of Language. The Modern Language Journal, 39(4): 177-180.Jackson, Howard & Peter Stockwell. (2011). An introduction to the nature and functions of language. London & New York : Continuum.Preparatory work(1)Main publications:New media language. London and New York: Routledge, 2003.Words in the mind: An introduction to the mental lexicon. 3rd edition. Oxford and New York: Basil Blackwell, 2003.The Articulate Mammal: An Introduction to Psycholinguistics. 4th edition. London and New York: Routledge, 1998.The seeds of speech: Language origin and evolution. Cambridge, New York, Melbourne: Cambridge University Press, 1996.Main research interests:1)(Socio-)historical linguisticsThe description, implementation and causation of language change, with particular reference to current changes.2)Language and mindLanguage acquisition, speech comprehension, speech production, with particular reference to lexical storage and retrieval.3)Language and the mediaThe language used by the media, and the effect of the media on language, with particular reference to language change, language and power, the relationship of media language to language in literature.(2)The whole book consists of four parts, namely, Puzzles, Origin, Evolution, and Diffusion. Text A “What is Language for” is from the first part Puzzles. The other three questions addressed in this part are: How did language begin? Why do languages differ so much? and Is language an independent skill?Part 2, 'Origin', explores how language probably originated. Chapter 5 outlines the 'East Side story', which suggests that humans separated from apes when they were stranded on the east side of Africa, after the Great Rift Valley split the terrain. Humans were forced to live on their wits in a harsh landscape, and began to develop language. Chapter 6 examines the prerequisites for language, which are shared with our ape cousins: first, friendly involvement with others and a predisposition for grooming; second, an aptitude for tactical deception, or lying, which depends on 'a theory of mind', and an ability to understand the intentions of others. Chapter 7 considers the basic requirements for speech, many of which are also present in other primates. For example, sound-receiving mechanisms are shared with apes, yet sound-producing ones differ, perhaps because of our upright posture, which in the long run enabled humans to produce a range of finely tuned sounds. Chapter 8 notes that ontogeny, the development of the individual, only sometimes correlates with phylogeny, the development of the species. Two ways in which these coincided were the lowering of the larynx and the development of the 'naming insight', an understanding of the power of naming.Part 3, 'Evolution', examines how language might have evolved. Chapter 9 looks at ways in which words could have been combined. At first, many sequences were possibly repetitive and inconsistent. But gradually, strong preferences may have become rules. These preferences were based on pre-linguistic 'mind-sets'. Chapter 10 looks at how language expanded and how it made use of the human body and its location in space for extending word meanings. The evolution of different parts of speech occurred probably via reanalysis: adjectives and prepositions both grew out of reinterpretation of nouns and verbs. Chapter 11 considers attachments to verbs. Verbs acquire attachments via grammaticalization, in which a full lexical item developed into a grammatical marker. Chapter 12 examines generativity, the use of finite resources to produce an infinite variety of sentences. Such structures arose from reanalysis of existing structures.Part 4, 'Diffusion', considers the spread of language over the world, and discusses why languages have not become unlearnably different from one another. Chapter 13 outlines the route taken as humans moved out of Africa, and considered the possibility of reconstructing glimpses of language as it might have been more than 30,000 years ago. Chapter 14 examines the difficulties and frustrations of hunting for language universals. Chapter 15 points out that looking for constraints, things that languages don't do might be more enlightening. Implicational links, it notes, are important for keeping language in check. Such links are partially due to processing needs, but partly also to the overall structure of the system. Chapter 16 outlines the different components within the language system, and emphasizes that these interacted with the usage of the system in a complex way.(3)John Locke, widely known as the Father of Classical Liberalism, was an English philosopher and physician. He was also memorized as one of the first British empiricists. His work greatly affected the development of epistemology and political philosophy. His contributions to classical republicanism and liberal theory are reflected in the United States Declaration of Independence.Major works:A Letter Concerning Toleration (1689)Two Treatises of Government (1689)An Essay Concerning Human Understanding (1690)Some Thoughts Concerning Education (1693)(4)Lord Byron’s (1788-1824) two best known long narrative poems are Don Juan and Childe Harold's Pilgrimage. His other major poems include: Prometheus, She walks in Beauty, When we Two parted, Darkness, and And Thou art Dead, as Young and Fair. (5)Bronislaw Malinowski (1884-1942) is remembered as the father of the functionalistschool of anthropology and for his role in developing the methods and the primacy of anthropological fieldwork as well. He first rose to prominent notice through his studies of Pacific Islanders, especially those conducted among the Trobriand Islanders whose marriage, trade and religious customs he studied extensively. His best known works include Argonauts of the Western Pacific (1922),Crime and Custom in Savage Society (1926), The Sexual Life of Savages in North-Western Melanesia (1929), and the posthumously published Magic, Science, and Religion and Other Essays (1948). Malinowski helped develop the field of anthropology from a primarily evolutionary focus into sociological and psychological enquiries. Some of the noteworthy byproducts of his fieldwork in this direction include various evidence that debunked the Freudian notion of a universal Oedipal Complex and evidence that showed that so-called primitive peoples are capable of the same types and levels of cognitive reasoning as those from more "advanced" societies. Malinowski's ideas and methodologies came to be widely embraced by the Boasian school of American Anthropology, making him one of the most influential anthropologists of the 20th century.Source: /people/320/000099023/For more information about Malinowski, please refer to: Murdock, George(1943). Bronislaw Malinowski. American Anthropologist, 45:441-451./committees/commissions/centennial/history/095malobit.pdf Critical readingI. Understanding the text1. OutliningThesis: Among its multiple purposes, language is good at interaction and persuasion but poor at information talking.We would like to emphasize that what we have just provided is not the only answer to the outlining task. To start with, we can divide the text in different ways. For example, we can follow the traditional trichotomy and dividing it into introduction, main body and conclusion; we can also divide part III and part IV into further sections. The main idea of each part varies accordingly.2. Comprehension check(1)The transfer of information is not the only purpose of using language. In greetingsand some pointless chitchat, communicators use language primarily, if not exclusively, for constructing or maintaining certain social relationship. Even when information is the major concern, the speaker and hearer must take into consideration some other factors, such as politeness and aesthetics (cf. Paras. 22-22).(2)In Paragraph 6, Aitchison divides the question “what is language for” into twosub-questions: “For what purpose did language develop?” and “For what purpose is language used nowadays?” Since there are so many purposes of using language and the original one is difficult to identify, she argues in paragraph 8 that we can find clues by looking at what language is good at and what it finds difficult to express. The rest of the text (paras.9-28) provides discussion about and answers to these two questions.(3)According to Aitchison, the list of language functions in paragraph 7 is not exhaustive,and it is not clear which one is the most basic. Aitchison discusses in some detail thefollowing four functions, providing information, expressing feelings, influencing others and social talking, which are roughly organized in the order of importance in the traditional view.(4)Aitchison suggests that the early functions of language can be traced in the way weuse language today to some extent. The assumption behind is that the origin of language is accountable in its early function(s) and that the early function(s) must be reflected in what language is good at today. In other words, if language was created to perform a particular function, it must still be good at it nowadays.II. Evaluation and exploration1.Evaluating the text(1)Figure drawing(2)ExemplifyingAn utterance may serve more than one purpose simultaneously. Donking is used metalinguistically in example (6), but the whole sentence “Donking isn’t a word” is informative. We can provide information, express our feelings and initiate social talking by asking questions or giving commands.2.Exploring beyond the text(1)Some scholars believe that language facilitates thinking and that our thinking wouldbe impossible without an inner language. In many cultures language is also used as a symbol of magic or as something that carries mysterious power (e.g., religious Taoism, couplets for Spring Festival). Different functions of language are not equally important. For example, the functions of communicating and of facilitating thinking are more fundamental while those of religious use and word play are more derivative.(2)Generally speaking, there are two different views on the relationship betweenlanguage and thinking. Some scholars claim that language restricts thinking.According to this view, people perceive the world through the language that they speak. It follows that people speaking different languages experience different worlds, just like people seeing different things with different eyes. Others believe that language and thinking are separate and should not be equated with each other. For example, even if a language does not have the word for chartreuse, people speaking the language can still perceive this color, think about it and even talk about it,using not a single word but a kind of paraphrase.(3)Some utterances may basically serve only one function. For example, people greeteach other saying “Hi!” or “Morning!” to neighbors to maintain social connections; inchurch, the priest pr eaches a sermon to call for piety to the Lord. But more often than not an utterance and its context produce some “side effects” and serve different functions simultaneously. In saying “It’s gonna rain. You’d better take an umbrella.”to a lady, the speaker not only provides information about the weather, but also shows his/her concern toward the addressee and enhances the solidarity.(4)Language changes for different reasons, e.g., language users’ a version to cliché andpreference to creativity, language contact, language planning and so on. While some changes may not be directly related to functions of language, others are indeed motivated by certain functions of language. For example, neologisms related to science and technology emerge primarily because there is a need to talk about such new things. In this case the function of providing information requires the creation of some new words.(5) The best-known examples for “phatic communion” in tradi tional Chinese society areprobably greetings such as “吃了吗？(have you had your meal?)”and “去哪儿啊？(where are you going?)”. Neither is considered imposing or offensive because in traditional Chinese society, it is more important to show mutual concern than respect for privacy. The British follow a different tradition. Brown and Levinson (1987) recognize two sides of face, a positive one and a negative one. Positive face refers to “the desire to be appreciated and approved” and negative face “the freedom of act ion and freedom from imposition”. For Chinese people (especially in traditional society), negative face is not as important as positive face. The British, on the other hand, value negative face more than positive face.Language EnhancementI. Words and phrases1. Word formationPart of speech:Nouns: Taking-off, air-traffic, take-off-point, London-York, two-thirds, real-life, non-reality, self-repetition, other-repetitionAdjectives: non-existentAdverbs: half-wayStructure:Noun-noun: air-traffic, London-York, self-repetition, other-repetitionAdjective-noun: real-lifeCardinal-ordinal numeral: two-thirdsPrefix-noun: non-realityGerund-adverb: Taking-offVerb-adverb-noun: take-off-point2. Articles and prepositions(1)/(2)/(3) a, the, with(4) /, the(5) /, the, the, on, a3.Verbs and phrases(1)convey, handle(2)convey(3)transfer(4)coincide(5)collide(6)date back to(7)originate fromII. Sentences and discourse1. Paraphrasing(1) Even when language is used simply to transfer information, the accuracy of the information transferred is still unlikely to reach 100%.(2) Less affirmative claims about the purpose of language may be at least superficially more acceptable: when early people found that facial expressions and body movements could not fully express themselves, they invented language to communicate their thoughts.(3) So long as the speaker is telling the truth, language is reasonably good at transferring sim ple pieces of factual information, such as “Bob is Petronella’s cousin.”(4) Even in cultures where lying is officially discouraged, people are still unwilling to tell the whole truth. A government official invented the phrase “being economic with the tru th” to deny that he was lying.(5) According to George Orwell, political language is designed to beautify horrible things and to tell lies.2. Translation(1) 英国哲学家约翰·洛克在其颇有影响的著作《人类理解论》(1690)中指出，语言是一个伟大的传输渠道，人类通过这一渠道相互传达各自的发现、推理和知识。
logic and philosophy1.Leibniz was the real implementer of the modern universal language program. He not only reexpressed the three major formal logic in a symbolic way, but also put forward the seven axioms of logical calculus, thus starting the work of logical mathematics. He made a comprehensive investigation of the relationship between logic and metaphysics after Aristotle, and proposed for the first time forward the fundamental consistency of the two. His discussion on concepts, definitions and propositions has an incentive effect on logic. His distinction between analytical propositions and comprehensive propositions has become an important ideological resource for Kant's philosophy and Husserl phenomenology.The significance of logic to metaphysics: Since Aristotle, logic has been closely related to metaphysics and epistemology. Metaphysics has always been regarded as the knowledge "about existence as existence", as the pursuit of the first principles of the world, while logic has always been regarded as the form and law of thinking. The epistemological transition realized by modern philosophy not only provides new opportunities for the reconstruction of the internal connection between logic and metaphysics, but also expands the theoretical domain and vision of both. Among the seventeenth-century philosophers, Leibniz was the most clear and most fully expressed the basic ideas of logical philosophy. In his place, logic was both the great tool of reason, the fundamental expression of philosophical truth, and the fundamental principle of philosophical research, because, in his opinion, "everything created through reason can be created by perfect logical rules". Leibniz tried to base philosophy in the traditional sense firmly by establishing the value of logical reason, because he found that philosophy lacks a clarity and certainty. Therefore, he hopes to transform philosophy logically so as to make philosophical concepts, propositions and reasoning realistic. In the New Theory of Human Reason, he agrees with the view: " The function of philosophy is to create some words, in order to give people definite concepts, and to express the definite truth in general propositions.”2.According to Leibniz's idea of classification, there are two main treatments of the truth of all doctrines, each with its own weight and each having its own value and significance, but the best way is to combine them, because they complement and complement each other. These two methods are integrated (also known as theoretical) and analytical (also known as practical). The comprehensive method or theoretical method is to arrange the truth in the order of the proof. Like a mathematical proof, put each proposition after the proposition taken as a premise. In this way, all the propositions representing the truth will present a progressive logical relationship. Analytic or practical method starts with the purpose of man, starts with good, from the highest point of good, human happiness, and then transition to the special means of achieving good (or avoiding the opposite of good, evil). In this sense, analytical methods are designed to transition from purpose to means, from abstract entry to special, or to decline from general to individual. In addition to the above two treatments, Leibniz believes, we can also add a third method, namely, a method of arranging the truth by a noun, which is actually an indexing method, which Leibniz used for book classification and cataloging. Leibniz said that the third method is equivalent to the ancient logic method, because it dealswith knowledge and truth according to certain categories of logic, which involves both the understanding of the nature of species and genera, as well as the definition of the logical extension and connotation of categories. The above classification is consistent with the scientific classification of the ancient Greeks. Because the ancient Greeks divided philosophy or science into three categories: theoretical, practical, and ethical knowledge. Theoretical knowledge is equivalent to what Leibniz has here to as comprehensive law, practical knowledge is equivalent to analytical law, and the method of arranging truth by noun is equivalent to logic.As Leibniz's mind matured, he attached more attention to logic. He said: " As for logic, which is the teaching and connection of thought, I see no reason to blame. On the contrary, the lack of logic makes people wrong."He not only greatly expanded the scope of logic, but also tried to reconstruct metaphysics from the logical analysis of propositions. To this end, he needs both to revisit and establish the logical premise of metaphysics, and also to establish a reliable logical method in order to discover and express the definite truth. According to Russell, there are five main premises of Leibniz's philosophy:(1) Each proposition has a primary term and a predicate term;(2) A primary term may have several predicates about the properties that exist at different times;(3) All true propositions that constantly claim existence at a certain time are inevitable and analytical, while those that assert existence at a certain time are accidental, with the latter relying on the ultimate cause;(4) The self is an entity;(5) Perception produces knowledge about the outside world, that is, about myself and about existing things outside of my state.Clearly, the first three of these five premises are related to logic. The fourth premise is the basis of Leibniz's epistemology, and, in a sense, it is also the basis of his metaphysics. But this premise is also indirectly related to logic. As Russell said, " The entity concepts, as we will understand, are derived from the logical concepts of both the principal terms and the predicate terms."If the concept of the entity is one of the most basic concepts of Leibniz's metaphysics, then the logical concept of the subject and predicate term also establishes its metaphysics independently. For this reason, Russell asserted that " Leibniz's metaphysics comes from his subject and predicate logic."He even asserts," Leibniz's philosophy stems almost entirely from his logic.”。
第一章绪论principles and theories to language Modern linguistics regards the imagined matters in the past1/ What is linguistics teaching and learning especially the spoken form of language as primary present or future or in far-away什么是语言学？teaching of foreign and second but not the written form. Reasons places.Linguistics is generally defined as language. are: 1. Speech precedes writing 2. Cultural transmission语言的文化the scientific study of language. It Other related branches include There are still many languages that 传递性studies not any particular language anthropological linguistics （人类have only the spoken form 3. In While human capacity for languagebut languages in general. 语言学）neurological linguistics terms of function the spoken has a genetic basis i.e. we were2/ The scope of linguistics （神经语言学）mathematical language is used for a wider range born with the ability to acquire语言学的研究范畴linguistics （数字语言学）and of purposes than the written and language the details of anyThe study of language as a whole is computational linguistics. （计算机carries a larger load of language are not geneticallyoften called general linguistics. 普语言学）communication than the written. transmitted but instead have to be通语言学3/ Some important distinctions in Langue and parole 语言和言语taught and learned anew. ThisThe study of sounds which are linguistics The Swiss linguist F. de Saussure indicates that language is culturallyused in linguistic communication is 语言学研究中的几对基本概念made the distinction between langue transmitted. It is passed down fromcalled phonetics. （语音学）Prescriptive and descriptive 规定and parole early 20th century. one generation to the next throughThe study of how sounds are put与描写Langue refers to the abstract teaching and learning rather thantogether and used in communication If a linguistic study describes and linguistic system shared by all the by instinct.is called phonology. （音系学）analyzes the language people members of a speech community Chapter 3 Morphology 形态学The study of the way in which actually use it is said to be and parole refers to the realization Definition 定义morphemes are arranged to form descriptive if it aims to lay down of langue in actual use. Saussure Morphology is a branch of grammarwords are called morphology. （形rules to tell people what they should made the distinction in order to which studies the internal structure态学）say and what they should not say it single out one aspect of language of words and the rules by whichThe study of how morphemes and is said to be prescriptive. for serious study. He believes what words are formed.words are combined to form Modern linguistics differs from linguists should do is to abstract 形态学是语法的一个分支，研sentences is called syntax. （句法traditional grammar. Traditional langue from parole to discover the 究词的内部结构和构词规则。
一、Directions: Please define the following terms.1.minimal pair testwords that differ in only one soundThey differ in meaning, they differ only in one sound segment, the different sounds occur in the same environmentExample: beat, bit They form a minimal pairSo /ea/ and /i/ are different sounds in EnglishThey are different phonemes2.the Sapir-Whorf Hypothesislinguistic determinism (语言决定论) -Language determines thought.and linguistic relativity (语言相对论)-There is no limit to the structural diversity of languages.3.BehaviorismBehaviorism in linguistics holds the view that Children learn language through a chain of stimulus-response-reinforcement (刺激—反应—强化), and adults‟ use of language is also a process of stimulus-response.4.discovery proceduresA grammar is discovered through the performing of certain operations on a corpus of data5.Universal GrammarUG consists of a set of innate grammatical principles.Each principle is associated with a number of parameters.6.Systemic GrammarIt aims to explain the internal relations in language as a system network, or meaning potential.7.Ideational MetafunctionThe Ideational Function (Experiential and Logical) is to convey new information, to communicate a content that is unknown to the hearer. It is a meaning potential.It mainly consists of “transitivity” and “voice”. This function not only specifies the available options in meaning but also determines the nature of their structural realisations. For example, “John built a new house” can be analysed as a configuration of the functions (功能配置):Actor: JohnProcess: Material: Creation: builtGoal: Affected: a new house8.Interpersonal MetafunctionThe INTERPERSONAL FUNCTION embodies all uses of language to express social and personal relations. This includes the various ways the speaker enters a speech situation and performs a speech act.9.basic speech rolesThe most fundamental types of speech role are just two: (i) giving, and (ii) demanding.Cutting across this basic distinction between giving and demanding is another distinction that relates to the nature of the commodity being exchanged. This may be either (a) goods-&-services or (b) information.10.finite verbal operatorsFiniteness is thus expressed by means of a verbal operator which is either temporal or modal.11.Textual MetafunctionThe textual metafunction enables the realization of the relation between language and context, making the language user produce a text which matches the situation.It refers to the fact that language has mechanisms to make any stretch of spoken or written discourse into coherent and unified texts and make a living passage different from a random list of sentences.It is realized by thematic structure, information structure and cohesion.12.theme and rhemeThe Theme is the element which serves as the point of departure of the message.The remainder of the message, the part in which the Theme is developed, is called the Rheme.As a message structure, a clause consists of a Theme accompanied by a Rheme.The Theme is the first constituent of the clause. All the rest of the clause is simply labelled the Rheme13.experientialismExperientialism assumes that the external reality is constrained by our uniquely human experience.The parts of this external reality to which we have access are largely constrained by the ecological niche we have adapted to and the nature of our embodiment. In other words, language does not directly reflect the world. Rather, it reflects our unique human construal of the world: our …world view‟ as it appears to us through the lens of our embodiment.This view of reality has been termed experientialism or experiential realism by cognitive linguists George Lakoff and Mark Johnson. Experiential realism acknowledges that there is an external reality that is reflected by concepts and by language. However, this reality is mediated by our uniquely human experience which constrains the nature of this reality …for us‟.14.image schemataAn image schema is a recurring structure within our cognitive processes which establishes patterns of understanding and reasoning. Image schemas are formed from our bodily interactions, from linguistic experience, and from historical context.15.prototype theoryPrototype theory is a mode of graded categorization in cognitive science, where some members of a category are more central than others. For example, when asked to give an example of the concept furniture, chair is more frequently cited than, say, stool. Prototype theory has also been applied in linguistics, as part of the mapping from phonological structure to semantics.二、Directions: Please answer the following questions.1.Why is Saussure called “one of the founders of structural linguistics and “father ofmodern linguistics”?He helped to set the study of human behavior on a new footing (basis).He helped to promote semiology.He clarified the formal strategies of Modernist thoughts.He attached importance to the study of the intimate relation between language and human mind.2.W hat are the similarities and differences between Saussure‟s langue and parole andChomsky‟s competence and performance?The similarities (1) language and competence mainly concerns the user‟s underlying knowledge; parole and performance concerns the actual phenomena (2) language and competence are abstract; parole and performance are concrete.The differences (1) according to Saussure, language is a mere systematic inventoryof items; according to Chomsky, competence should refer to the underlying competence as a system of generative processes (2)According to Saussure, language mainly base on sociology, in separating language from parole, we separate social from individual; according to Chomsky, competence was restricted to a knowledge of grammar.3.What is the conflict between descriptive adequacy and explanatory adequacy?A nd what is Chomsky‟s solution to this conflict?a theory of grammar: descriptively adequateshould adequately describe thegrammatical dada of a language.should not just focus on a fragment of a language.a theory of grammar: explanatorily adequateshouldexplain the general form of language.should choose among alternative descriptively-adequate grammars.should essentially be about how a child acquires a grammar.A theory of grammar should be both descriptively and explanatorily adequate.But there is a conflict:To achieve DA, the grammar must be very detailed.To achieve EA, the grammar must be very simple. (think why?)because the child can learn a language very easily on very little language exposure.Chomsky‟s solution:construct a simple UGletindividual grammars be derivable from UG4.What are Chomsky‟s contribution s to the linguistic revolution?Chomsky‟s contribution to t he linguistic revolution is that he showed the world a totally new way of looking at language and at human nature, particularly the human mind. Chomsky challenged behaviorism and empiricism because he believes that language is innate.Rationalism (vs. empiricism in philosophy)Empiricist evidence is often unreliable.Innateness (vs. behaviorism in psychology)Children can acquire a complicated language on the basis of very limited exposureto speech.This indicates that UG is innate faculty.5.How to compare and contrast Generative Linguistics and Systemic-FunctionalLinguistics from perspectives of epistemology, theoretical basis, research tasks and methodology?6.How many process types are there in the transitivity system? Please illustrate eachtype by a proper example.Six. Material Processes, Mental Processes, Relational Processes, Behavioural Processes, Verbal Processes, Existential ProcessesThe typical types of outer experience are actions, goings-on and events: actions happen, people act on other people or things, or make things happen. This type of process is called Material Processes.The inner experience is that in our consciousness or imagination. You may react on it, think about it, or perceive it. This type of process is called Mental Processes.Then there is a third type of process: we learn to generalize, to relate one fragment of experience to another. It does this by classifying or identifying. This kind of process is called Relational Processes.These three processes are called major processes. Related to them are three minor processes: each one lies at the boundary between two processes of the three. Not so clearly set apart, they share some features of each, and finally acquire the character of their own.On the borderline between material and mental are the Behavioural Processes: those that represent outer manifestations of inner workings, the acting out of processes of consciousness and physiological states.On the borderline of mental and relational is the category of Verbal Processes: symbolic relationships constructed in human consciousness and enacted in the form of language.Then on the borderline between the relational process and the material process are Existential Processes, by which phenomena of all kinds are recognized to be or to exist.7.What is a multiple Theme to be contrasted with a simple Theme? What is a markedTheme to be contrasted with an unmarked Theme? Please illustrate them with proper examples.Conjunctions in ThemeConjunctive and modal Adjuncts in ThemeTextual, interpersonal and experiential elements in ThemeInterrogatives as multiple Themes8.What are the similarities and differences between conceptual metaphor andconceptual metonymy?Metaphor and metonymy are viewed as phenomena fundamental to the structure of the conceptual system rather than superficial linguistic …devices‟.Conceptual metaphor (概念隐喻) maps structure from one conceptual domain onto another, while metonomy highlights an entity by referring to another entity within the same domain.隐喻就是把一个领域的概念投射到另一个领域，或者说从一个认知域（来源域）投射到另一个认知域（目标域）。
. Introduction1. What is LanguageLanguage is a system of arbitrary vocal symbols used for human communication.2. What is Linguistics(语言学)Linguistics is the scientific study of language.3.Some Basic Distinctions(区分) in Linguistics3.1 Speech and WritingOne general principle(原则) of linguistic analysis is the primacy of speech over writing. Writing gives language new scope(范畴) and uses that speech does not have.3.2 Descriptive(描述性) or Prescriptive(说明性)A linguistic study is descriptive if it describes and analyses facts observed; it is prescriptive if it tries to lay down rules for "correct" behavior.3.3 Synchronic(共时) and Diachronic(历时) StudiesThe description of a language at some point in time is a synchronic study and The description of a language as it changes through time is a diachronic study.3.4 Langue(语言) and Parole(言语)This is a distinction made by the Swiss linguist F.De Saussure (索绪尔）early last century. langue refers to the abstract linguistic system shared by all the members of a speech community and parole refers to the actualized(实际的) language, or realization of langue.3.5 Competence(能力)and Performance(行为)Competence is the ideal language user's knowledge of the rules of his language. Performance is the actual realization of this knowledge in utterances(发声).4.The Scope of LinguisticsGeneral linguistics is the study of language as a whole.Phonetics(语音学) is the branch of linguistics which studies the characteristics of speech sounds and provides methods for their description, classification and transcription.Phonology(音韵学) is the branch of linguistics which studies the sound patterns of languages.Morphology(词法) is the branch of linguistics which studies the form of words.Syntax(句法) is the branch of linguistics which studies the rules governing the combination of words into sentences.Semantics(语义学) is the branch of linguistics which studies the meaning of language.Applied linguistics(应用语言学) is the study of the teaching of foreign and second languages. Sociolinguistics is the study of the relationship between language and society.Psycholinguistics is the study of the relationship between language and the mind.Historical Linguistics(历史语言学) is the study of language changes.Anthropological linguistics(人文语言学) uses the theories and methods of anthropology to study language variation and language use in relation to the cultural patterns and beliefs of man.Neurolinguistics(神经语言学) studies the neurological basis of language development and use in human beings.Mathematical linguistics(数学语言学) studies the mathematical features of language, often employing models and concepts of mathematics.Computational linguistics(计算语言学) is an approach to linguistics in which mathematical techniques and concepts(概念) are applied, often with the aid of a computer.II. Phonetics(语音学）1. scope of phoneticsSpeech sounds may be studied from different angles, thus we have at least three branches of phonetics: Articulatory phonetics(发音语音学）we may examine the way in which a speech sound is produced to discover which vocal organs are involved and how they coordinate(协调）in the process.Auditory phonetics （听觉语音学）we may look into the impression a speaker makes on the hearer as mediated(调节）by the ear, the auditory nerve(神经）and the brain.Acoustic phonetics (声学语音学）we study the physical properties of speech sounds, as transmitted（传送）between mouth and ear.2. The vocal organsThe vocal organs may be viewed as consisting of three parts, the initiator of the air-stream,(气流发生器官）the producer of voice（声音发生器官）and the resonating cavities.（声音共振器官）3. Consonants(辅音）Places of articulation(发音部位）: bilabial,(双唇）Labiodentals,（唇齿）dental,（齿）alveolar,（齿龈）retroflex,（卷舌）palate-alveolar,（上齿龈）palatal,（上颚）velar,（软腭）uvular,（小舌）glottal(声门）Manners of articulation: plosive,（暴破）nasal,（鼻音）trill,（颤音）lateral,（边音）fricative,（摩擦）approximant,（近似音）affricate（破擦）4. Vowels (元音）The classification of vowels: the height of tongue raising (high, mid, low), the position of the highest part of the tongue(front, central, back), and the degree of lip rounding(rounded, unrounded)III. Phonology（音韵学）1. phonemes(音素）：a distinctive(有区别的）sound in a language.2. Allophones(音位变体）：The nondistinctive sounds are members of the same phoneme.3. Minimal pairs(最小对立体）：word forms which differ from each other only by one sound.4. Free variation (自由变异）：If two sounds occurring in the same environment(环境）, they does not produce a different word form, but merely a different pronunciation of the same word.5. Complementary distribution(补充分类）：Not all the speech sounds occur in the same environment. When two sounds never occur in the same environment6.Suprasegmental phonology(超音段音位）：the study of phonological properties(性质）of units lager than the segment-phoneme. They are syllable(音节），stress,（重音）word stress, sentence stress. pitch （音调）and intonation（语调）.IV. Morphology（词法）1. inflection(构形法）：the grammatical relationships through the addition of inflectional affixes.(屈折词缀）2. Word-formation(构词）：the processes(过程）of word variations signaling lexical relationships.（表明词法关系）They are compound(合成）and derivation (派生）.3. Morpheme(词素）：the smallest unit in terms of relationship between expression and content.4. Allomorph(同质异象变体）：some morphemes have considerable variation, for instance, alternate shapes or phonetic forms.5. Types of morphemes: They are roots,(词根）affix（词缀）and stem（词干）.6. Lexicon(语言词汇）：in its most general sense, is synonymous with vocabulary.7. Closed-class words(封闭性）and open-class words(开放性）：the former whose membership is fixed or limited and the latter whose membership is in principle(实际上）indefinite or unlimited.8. Word class(词性）：It displays a wider range of more precisely defined classes.9. Lexeme(词位）：the smallest unit in the meaning system of a language that can be distinguished from other smaller units.10. Idiom(习语，成语）：Most phrasal lexemes are idioms. It is especially true for a sequence of words(词序）which is semantically（语义上）and often syntactically(句法上）restricted.（限制）11. Collocation(搭配）：the habitual(习惯的）co-occurrences （同时出现）of individual lexical items. V. Syntax (句法）1. Positional relation or word order（词序）：the sequential(顺序）arrangement of words in a language.2. Construction or constituent (句子结构）：the overall process of internal (内部）organization of a grammatical unit .3. Syntactic function(句法功能）：the relationship between a linguistic form and other parts of the linguistic pattern in which it is used. The names of functions are expressed in terms of subjects, objects, predicates, modifiers,(修饰语）complements（补语）, etc.4. Category(范畴）：It refers to classes and functions in its narrow sense, e.g. noun, verb, subject, predicate, noun phrase, verb phrase, etc. The categories of the noun include number, gender, case and countability.5. Phrase: a single element of structure containing more than one word, and lacking the subject-predicate structure typical of clause.6. Clause: a group of words with its own subject and predicate, if it is included in a larger sentence.7. Sentence: It is the minimum part of language that expresses a complete thought.VI. Semantics1. Conceptualism or mentalism (概念主义）：Following F. De Saussure(索学尔）'s "sign" theory, the linguistic sign is said to consist of a signifier （所指）and signified（被指）, i.e., a sound image and a concept, liked bya psychological（心理的）"associative" bond.（相关联系）2. Mechanism(机械主义）：Some linguists, Bloomfield,(布鲁费尔德）for example, turned to science to counter（反）-act the precious theories and this leads to what call the mechanistic approach（方法）. The nature of this theory has nothing to do with the scientific study of mental phenomena.（智力现象）3. Contextualism （语境主义）：It is based on the presumption(假定）that one can derive meaning from or reduce it to observable context.4. Behaviorism (行为主义）：Behaviourists attempt to define (定义）the meaning of a language form as "the situation(情景）in which the speaker utters（说话）it and the response（反应）it calls forth in the hearer."5. functionalism (功能主义）：Functionalists as represented (代表）by the Prague school（布拉格学派）linguists and neo-Firthian （新弗斯）linguists, approach the problem from an entirely new orientation（方法）. They argue（争辩）that meaning could only be interpreted（解释）from its use or function in social life.6. Sense relationships: While reference deals with the relationship between the linguistic elements, words, sentences, etc.,and the non-linguistic world of experience, sense relates to the complex system of relationships that hold between the linguistic elements themselves. They include synonymy(同义词），antonymy(反义词）,hyponymy(下层次）Polysemy(一词多义）and Homonymy (同音异义词）7. Semantic analysis: It includes 1) componential（成分）analysis which defines the meaning of a lexical element in terms of semantic components.(意义成分）2) predication (表述）analysis in which the meaning of a sentence is not merely the sum of the meanings of the words which compose it. 3) relational components in which the semantic analysis of some words presents a complicated picture, because they show relations between two and perhaps more terms.VII. Language Variation (语言变化）1. Lexical change(词汇的变化）：changes in lexis.2. Invention: (新造词）new entities.3. Compounding:(合成词）New words are sometimes constructed by combining two old words.4. Blending: (混合词）：It is a relatively complex form of compounding, in which two roots are blended by joining the initial part of the first root and the final part of the second root, or by joining the initial parts of the two roots.5. Abbreviation or clipping:(缩写）A new word is created by cutting the final part or cutting the initial part.6. acronym:(取首字母的缩写词）It is made up from the first letters of the name of an organization, which has a heavily modified (修饰）headword.7. Metanalysis:(再分化）It refers to a process through which a division is made where there were note before.8. Back-formation:(逆构词）It refers to an abnormal(非正常）type of word-formation where a shorter word is derived by deleting(去掉）an imagined affix from a longer form already present in the language.9. Analogical creation:(类比造词）It can account for（说明）the co-existence of two forms, regular and irregular, in the conjugation(结合）of some English verbs.10. Borrowing（借用）：English in its development has managed to widen her vocabulary by borrowing words from other languages.11. Phonological change(音变）：It is related to language variation in the phonological system of language. It includes loss,(省音）addition,（加音）assimilation,（同化）dissimilation.（异化）12. Grammatical change: Changes in both morphology（词法）and syntax（句法）are listed under this heading.13. Semantic change:(语义变化）It includes broadening,（语义扩大）narrowing,（语义缩小）meaning shift,（意义转化）class shift（词性转换）and folk etymology.（词源变化）14. Orthographic change ：(正字法）Changes can also be found at the graphetic level.分享给。
Web Semantics:Science,Services and Agents on the World Wide Web5(2007)51–53Pellet:A practical OWL-DL reasonerEvren Sirin∗,Bijan Parsia,Bernardo Cuenca Grau,Aditya Kalyanpur,Yarden KatzUniversity of Maryland,MIND Lab,8400Baltimore Ave,College Park,MD20742,USAReceived3November2005;accepted29March2007Available online7April2007AbstractIn this paper,we present a brief overview of Pellet:a complete OWL-DL reasoner with acceptable to very good performance,extensive middleware,and a number of unique features.Pellet is thefirst sound and complete OWL-DL reasoner with extensive support for reasoning with individuals(including nominal support and conjunctive query),user-defined datatypes,and debugging support for ontologies.It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies,a non-monotonic operator,and preliminary support for OWL/Rule hybrid reasoning.Pellet is written in Java and is open source.©2007Published by Elsevier B.V.Keywords:Web Ontology Language;Description logics;Tableau Theorem Proving1.IntroductionPellet started as a proof of concept system to help meet the W3C’s implementation experience requirements for the Web Ontology Language(OWL).It has since become a practical and popular tool for working with OWL.Pellet has been thefirst reasoner to support all of OWL-DL,i.e.the Description Logic (DL)SHOIN(D),and recently has been extended to support the new features proposed in the so-called OWL1.1effort,1i.e. the DL SROIQ(D).OWL1.1extends OWL-DL with qualified cardinality restrictions,complex subproperty axioms(between a property and a property chain),local reflexivity restrictions, reflexive,irreflexive,symmetric and anti-symmetric properties, disjoint properties.Pellet is implemented in Java and is open sourced under a liberal license.It offers a panoply of features including conjunc-tive query answering,rule support,E-Connection reasoning,and axiom pinpointing,among others.To make its reasoning capabil-ities easily accessible to users,Pellet provides various interfaces including a command-line interface,an interactive Web form for zero-install use,DIG server implementation,and API bind-∗Corresponding author.Tel.:+13014057027;fax:+13014056707.E-mail addresses:evren@(E.Sirin),bparsia@ (B.Parsia),bernardo@(B.C.Grau),aditya@ (A.Kalyanpur),yarden@(Y.Katz).1/.ings for RDF/OWL toolkits Jena and Manchester OWL-API. In this paper,we provide a brief summary of Pellet’s architec-ture,features and special capabilities.For more details,we refer the reader to the technical report[1]and the Pellet Web site: .2.Implementation and optimizations2.1.System architectureFig.1shows the main components of Pellet.Pellet,in its core, is a Description Logic reasoner based on tableaux algorithms. The tableaux reasoner checks the consistency of a knowledge base and all the other reasoning services are reduced to con-sistency checking.The reasoner is designed so that different tableaux algorithms can be plugged in.The default algorithm handles SROIQ(D)but there are several other tableaux algo-rithms implemented,e.g.for non-monotonic extensions and for integration with rules.2.2.OptimizationsPellet implements most of the state of the art optimization techniques provided in the DL literature including Nor-malization,Simplification,Absorption,Semantic Branching, Backjumping,Caching Satisfiability Status,Top-Bottom Search for Classification,and Model Merging(see[2]for details about these techniques).1570-8268/$–see front matter©2007Published by Elsevier B.V. doi:10.1016/j.websem.2007.03.00452 E.Sirin et al./Web Semantics:Science,Services and Agents on the World Wide Web 5(2007)51–53Fig.1.Main components of the Pellet reasoner.In addition,Pellet incorporates several novel optimizations to improve the reasoning performance in the presence of nominals (enumerated classes)and individuals.Reasoning with nominals is especially challenging since some of the existing optimiza-tions in DL reasoners,such as Chain Contraction ,are not applicable anymore.Moreover,in the presence of nominals,assertions about instances can affect the concept satisfiability and classification results.We have developed a suite of new optimizations to tackle this problem.Two key ones are (see [3]for the rest)are Nominal Absorption ,a technique where axioms involving enumerations are absorbed into type assertions,and Nominal-based Model Merging ,a technique to detect obvious non-subsumptions and non-instantiations by exploiting the fact that nominals always have a fixed interpretation in the domain.These optimizations prove sufficient to handle even the notori-ously difficult Wine ontology,and,indeed,all ontologies with nominals we have encountered.Another novel optimization technique implemented in Pellet is for incremental reasoning against dynamic knowledge bases.In many contexts (ontology editors,web portals,sensor streams),the knowledge base is in constant flux.We have developed tech-niques [4]to reuse the reasoning results from previous steps to process updates incrementally.Our preliminary results show up to three orders of magnitude improvement after an ABox addition or deletion.3.Features and capabilities 3.1.Conjunctive ABox queryPellet includes a query engine that can efficiently answer conjunctive ABox queries expressed in SPARQL or RDQL.In the presence of non-distinguished variables in the query,the “rolling-up”technique is used to answer tree-shaped queries.Otherwise,every query atom can be answered in isolation and arbitrary shaped queries can be handled.For such queries,the two factors affecting the query answering time are the number of atoms in the query and the order these atoms are evaluated.Pellet has two optimization techniques to deal with these cases:Query Simplification ,finding redundant atoms in the query by using domain/range axioms,and Query Reordering ,sorting the queryatoms by utilizing a randomized sampling technique as adopted in relational databases.These techniques have been shown to be very effective in practice [5].3.2.Datatype reasoningPellet uses the type system approach to support reasoning with datatypes.In particular,Pellet has a datatype oracle that can reason with XML Schema based datatypes.The datatype oracle can check the consistency of conjunctions of (built-in or derived)XML Schema datatypes.Pellet supports user derived types based on numeric or date/time types so,for example,numeric or date/time intervals can be defined and used as new datatypes.3.3.Axiom pinpointing and debuggingAxiom pinpointing is a non-standard DL inference service that provides a justification for any arbitrary entailment derived by a reasoner from an OWL-DL knowledge base.Given an ontol-ogy and any of its logical consequences,the axiom pinpointing service determines the premises in the KB that are sufficient for the entailment to hold.The justification is useful for understand-ing the output of the reasoner,which is key for many tasks,such as ontology debugging,design and evolution.Axiom pinpointing is achieved by tracking the original source axioms from the ontology as they are modified and used through-out the tableaux algorithm.As a result,when an inconsistency is detected in the ontology,a single set of axioms causing the prob-lem can be extracted.Our experiments [6]show that finding a single justification involves almost no computational overhead.Pellet can also determine all the justifications for an entail-ment by combining axiom tracing with a variant of Reiter’s well-known hitting set algorithm.3.4.Integration with rules formalismPellet is coupled with a Datalog reasoner to implement the AL -Log framework for combining DLs with rules.AL -Log [7]combines Datalog and DLs by allowing DL classes to be used in the body of a rule.In our implementation,we extendE.Sirin et al./Web Semantics:Science,Services and Agents on the World Wide Web5(2007)51–5353the AL-Log framework to use SHOIQ(D)(rather then the lessexpressive ALC language used in the original paper)and allowOWL datatypes and SWRL built-ins in the antecedent of Datalogrules.Pellet also has an experimental implementation of adirect tableau algorithm for integrating DL-safe rules with SHOIQ(D).Preliminary empirical results[8]have been encouraging and we think that the DL-safe implementation ispractical for small to mid-sized ontologies especially when thefull expressivity of SHOIQ(D)is needed.3.5.Multi-ontology reasoning using E-ConnectionsIn addition to the owl:imports mechanism,Pelletsupports a novel ontology combination technique based on E-Connections to reason with multiple ontologies.E-Connectionsare a general framework for combining several families of decid-able logics and in[9]we describe tableau algorithms to combineDLs of varying ing this technique,ontologiescan be linked to each other without losing their context(incontrast to owl:imports which simply merges ontologies).3.6.Non-monotonic reasoningNon-monotonic logics have been generally successful in cap-turing several forms of common sense and database reasoning.A prominent family of non-monotonic formalisms are rootedin various forms of the closed world assumption(CW A).TheDL ALCK[10]adds a non-monotonic K operator(which is akind of necessity operator)to the DL ALC to provide the abil-ity to“turn on”the CW A when needed.The reasoning supportfor ALCK language has been implemented in Pellet to answerCWA queries that use the K operator.We also admit a restricteduse of K in the ontologies,in the form of an epistemic rule. 4.Conclusions and future workIn this paper,we have presented Pellet,an open source OWL-DL reasoner with a number of unique features.Over the years,Pellet has become a practical and popular tool because it is eas-ily accessible through a number of interfaces,provides many standard and extended reasoning services and exhibits a com-petitive performance and is open source.In the near future,we are planning to extend Pellet in several different directions.Most notably we intend to provide secondary-storage support for rea-soning with large number of individuals,optimizations based on partitioning of ontologies,combinations with other logical for-malisms(e.g.spatio-temporal logics),and full SWRL support.AcknowledgmentsThe authors would like to thank following people for their contributions to the code:Christian Halaschek-Wiener (incremental reasoning),Edna Ruckhaus(AL-Log coupling), Vladimir Kolovski(DL-safe rules coupling),Ron Alford(TBox absorption),and Michael Grove(OWL species validation). References[1]E.Sirin,B.Parsia,B.C.Grau,A.Kalyanpur,Y.Katz,Pellet:A PracticalOWL-DL Reasoner,Tech.Rep.CS4766,University of Maryland,College Park,2005.[2]F.Baader,D.Calvanese,D.McGuinness,D.Nardi,P.Patel-Schneider(Eds.),The Description Logics Handbook,Cambridge University Press, 2003.[3]E.Sirin,B.Cuenca-Grau,B.Parsia,From wine to water:optimizingdescription logic reasoning for nominals,Int.Conf.on the Principles of KR(KR-2006),2006.[4]C.Halaschek-Wiener,B.Parsia,E.Sirin,Description logic reasoning withsyntactic updates,Proc.of the5th Int.Conf.on Ontologies,Databases,and Applications of Semantics(ODBASE2006),2006.[5]E.Sirin,B.Parsia,Optimizations for answering conjunctive abox queries,in:Proc.of the Int.Description Logic Workshop(DL-2006),2006. [6]A.Kalyanpur,B.Parsia,B.Cuenca-Grau,E.Sirin,Tableau Tracing inSHOIN,Tech.Rep.CS4764,University of Maryland,College Park, 2005.[7]F.M.Donini,M.Lenzerini,D.Nardi,A.Schaerf,AL-Log:integratingdatalog and description logics,J.Intell.Inf.Syst.10(1998)227–252. [8]V.Kolovski,B.Parsia,E.Sirin,Extending,SHOIQ(d)with DL-safe rules:first results,Proc.of the Int.Description Logic Workshop(DL-2006),2006.[9]B.C.Grau,B.Parsia,E.Sirin,Combining OWL ontologies using E-connections,J.Web Seman.4(1)(2006)40–59.[10]F.M.Donini,M.Lenzerini,D.Nardi,A.Schaerf,W.Nutt,An epistemicoperator for description logics,Artif.Intell.100(1–2)(1998)225–274.。
第一节语言的本质一、语言的普遍特征（Design Features）1.任意性Arbitratriness：shu 和Tree都能表示“树”这一概念；同样的声音，各国不同的表达方式2.双层结构Duality：语言由声音结构和意义结构组成（the structure of sounds and meaning）3.多产性productive: 语言可以理解并创造无限数量的新句子，是由双层结构造成的结果（Understand andcreate unlimited number with sentences）4.移位性Displacemennt：可以表达许多不在场的东西，如过去的经历、将来可能发生的事情，或者表达根本不存在的东西等5.文化传播性Cultural Transmission：语言需要后天在特定文化环境中掌握二、语言的功能（Functions of Language）1.传达信息功能Informative：最主要功能The mainfunction2.人际功能Interpersonal：人类在社会中建立并维持各自地位的功能establish and maintain their identity3.行事功能performative：现实应用——判刑、咒语、为船命名等Judge，naming，and curses4.表情功能Emotive Function：表达强烈情感的语言，如感叹词/句exclamatory expressions5.寒暄功能Phatic Communion：应酬话phatic language，比如“吃了没？”“天儿真好啊！” 等等6.元语言功能Metalingual Function：用语言来谈论、改变语言本身，如book可以指现实中的书也可以用“book这个词来表达作为语言单位的“书”三、语言学的分支1. 核心语言学Core linguistic1)语音学Phonetics ：关注语音的产生、传播和接受过程，着重考察人类语言中的单音。
第26卷 第4期2010年2月甘肃科技Gansu Science and Technol ogyV ol.26 N o.4Feb. 2010 OWL DL的知识表示与推理研究3朱创录(渭南师范学院计算机科学系,陕西渭南714000)摘 要:语义W eb的逻辑基础是描述逻辑,其出现的目的就是为了解决机器和人对知识理解的问题,因此,可以在语义W eb的基础上展开推理。
传统的推理系统结合语义W eb可以克服知识表示方面的缺点,并且有利于知识的共享。
探讨了OWL DL作为知识表示形式的优点;通过实例验证了OWL DL关于描述逻辑的推理。
关键词:语义W eb;OWL DL;描述逻辑;推理中图分类号:TP3191 引言目前,具有通用性的推理系统主要是专家系统,在专家系统中所使用的知识呈现方式十分多元化,包含语义网络、框架、法则、逻辑等,这些知识的表示方法各有其优点,但在建立推理系统时都存在各种各样的缺点和不足。
以传统的框架表示知识无法表现交集、合集等概念;以语意网络表现的知识由于表现方式不是结构化的,所以带来了运算不便的问题;以法则表现知识通常很难表现类的层次关系,存在知识表现不紧凑的问题;以逻辑的方式表现知识存在的问题是,无法将类别和实例分开,这样使我们在推理时就无法单独从类别出发去推导一些公理性的知识,使推理的效率难以提高[1]。
另外,通过传统的知识表现形式所表达的知识只能应用于特定的应用环境中,很难做到被其它系统重复利用,而语义W eb却完全可以做到这一点,因为语义W eb本体论的出发点就要建立一个人和机器都可以理解的知识体系。
为了解决知识表示形式的不足,引入了本体论的思想,并采用OWL DL这种基于X ML的信息呈现方式,能更好的表现领域知识,作为推理的事实基础。
采用基于X ML的方式表达知识,可以方便知识的共享,另外,语义W eb中的本体和描述逻辑有很好的对应关系[2],可以使用描述逻辑的推理方法对本体进行推理,这样在建立知识库之后,通过描述逻辑的可满足性检测能够发现所建立知识库的不一致性等,从而,提高了建立本体的可用性[3]。
（完整版）语言学练习题（附答案）Chapter1LanguageChapter One Language1. Define the following terms1) discreteness 2) design features3) arbitrariness 4) duality5) displacement 6) cultural transmission7) the imaginative function of language 8) the personal function of language9) the heuristic function of language 10) language2. Multiple ChoiceDirections: In each question there are four choices. Decide which one would be the best answer to the question or to complete the sentence best.1) Which of the following words is entirely arbitrary?A. treeB. crashC. typewriterD. bang2) The function of the sentence “Water boils at 100 degrees Centigrade” is ________.A. interrogativeB. directiveC. informativeD. performative3) In Chinese when someone breaks a bowl or a plate the host or the people present arelikely to say sui sui ping an (every year be safe and happy) as a means of controlling theforces which the believers feel might affect their lives. Whichfunction does itperform?A. Interpersonal.B. Emotive. C Performative. D. Recreational.4) Which of the following properties of language enables language users to overcome thebarriers causedby time and place, due to this feature of language, speakers of a languageare free to talk about anything in any situation?A. interchangeability.B. Duality.C. Displacement.D. Arbitrariness.5) Study the following dialogue. What function does it play according to the functions oflanguage?—A nice day, isn’t it?—Right! I really enjoy the sunlight.A. EmotiveB. Phatic.C. Peformative.D. Interpersonal.6) Unlike animal communication systems, human language is .A. stimulus freeB. stimulus boundC. under immediate stimulus controlD. stimulated by some occurrence of communal interest.7) Which of the following is the most important function of language?A. interpersonal functionB. performative functionC. informative functionD. recreational function8) In different languages, different terms are used to express the animal “狗”, this shows the nature of --- of human language.A arbitrarinessB cultural transmissionC displacementD discreteness9) Which of the following disciplines are related to applied linguistics?A. statisticsB. psycholinguisticsC. physicsD. philosophy10) has been widely accepted as the father of modem linguistics.A. ChomskyB. SaussureC. BloomfieldD. John Lyons3. Word CompletionDirections: Fill in the blanks with the most suitable words.1) Design features, a framework proposed by the American linguist Charles Hockett, referto the ________ properties of human language that distinguishes it from any animalsystem of communication.2) ________ refers to the phenomenon that the sounds in alanguage are meaningfullydistinct. For instance, the difference between the sounds /p/ and /b/ is not actually verygreat, but when these sounds are part of a language like English, they are used in such away that the occurrence of one rather than the other is meaningful.3) In any language words can be used in new ways to mean new things and can becombined into innumerable sentences based on limited rules. This feature is usuallytermed p_______ or c________.4) Language has many functions. We can use language to talk about language itself. Thisfunction is m________ function.5) Cultural transmission refers to the fact that language is c________ transmitted. It ispassed on from one generation to the next through teaching and learning, rather than byi_________.6) One general principle of linguistic analysis is the primacy of ________ over writing.7) The ________ function refers to the use of language to communicate knowledge aboutthe world, to report events, to make statements, to give accounts, to explain relationships, to relay messages and so on.8) The ________ function refers to language used to ensure social maintenance. Phaticcommunion is part of it. The term phatic communion introduced by the anthropologistBronislaw Malinowski refers to language used for establishing an atmosphere ormaintaining social contact rather than for exchanging facts.9) Language is a system of arbitrary symbols used for human Communication.10) Language has two levels. They are ______ level and ______ level.11) Language is a ________ because every language consists of a set of rules whichunderlie people’s actual speech or writing.12) The _function refers to language used in an attempt to control events once theyhappen.13) The design features of language are (1) (2) (3)(4) (5) (6) and (7) _______.14) By saying “language is arbitrary”, we mean that there is no logical connection be tweenmeaning and .15) The four principles in the linguistic study are (1) (2) (3)and (4) .4. True or False QuestionsDirections: Decide whether the following statements are true or false. Write T for true and F for false in the bracket before each of them.1) ( ) The relation between form and meaning in human language is natural.2) ( ) When language is used to get information from others, it serves an informativefunction.3) ( ) The reason for French to use cheval and for English touse horse to refer to the sameanimal is inexplicable.4) ( ) Most animal communication systems lack the primary level of articulation.5) ( ) Language change is universal,ongoing and arbitrary.6) ( ) Language is a system of arbitrary, written signs which permit all the people in a givenculture, or other people who have learned the system of that culture, to communicate orinteract.7) ( ) In theory, the length of sentences is limited.8) ( ) The relationship between the sounds and their meaning is arbitrary.9) ( ) Linguistic symbols are a kind of visual symbols, which include vocal symbols.10) ( ) Linguistic symbols are produced by human speech organs.11) ( ) Every language has two levels: grammatically —meaningless and sound —meaningful.12) ( ) Such features of language as being creative, vocal, and arbitrary can differentiatehuman languages from animal communicative systems.13) ( ) Duality is one of the characteristics of human language. It refers to the fact thatlanguage has two levels of structures: the system of sounds and the system of meanings.14) ( ) Language is a means of verbal communication. Therefore, the communication wayused by the deaf-mute is not language.15) ( ) Arbitrariness of language makes it potentially creative, and conventionality oflanguage makes a language be passed from generation to generation. As a foreignlanguage learner, the latter is more important for us.5. Glossary translation1)personal function2)heauristic function3)ideational function4)interchangeability5)控制功能6)表现功能7)文化传递性8)分离性9)区别性特征10)不受时空限制的属性11)Interactional function12)instrumentational function13)imaginative function14)寒暄功能15)元语言功能16)Personal function17)performative function18)娱乐功能19)信息功能20)人际功能6. Short Essay Questions1)What are the functions of language? Exemplify each function.2)Explain what the term duality means as it is used todescribe a property of humanlanguage.3)Is language productive or not? Why?4)What is language?5)What are the major design features of language? Please explain three of them withexamples.Key to Chapter One1. Define the followina terms1) Discreteness refers to the phenomenon that the sounds ina language are meaningfully distinct. For instance, the difference between the sounds /p/ and /b/ is not actually very great, but when these sounds are part of a language like English, they are used in such a way that the occurrence of one rather than the other is meaningful. The fact that the pronunciation of the forms pad and bad leads to a distinction in meaning can only be due to the difference between the sounds/p/ and /b/in English. Each sound in the language is thought of as discrete. It is possible to produce a range of sounds in a continuous stream which are all generally like the sounds /p/ and /b/.2) “Design features” refer to the defining properties of human language that tell the difference between human language and any system of animal communication. They are arbitrariness, duality, productivity, displacement, cultural transmission and interchangeability. (3分)3) “Arbitrariness” means that there is no logical connection between meanings and sounds. A dog might be a pig if only the first person or group of persons had used it for a pig.Language is therefore largely arbitrary. But language is not absolutely arbitrary, because there are cases where there are orat least seem to be some sound-meaning association, if we think of echo Words, like “bang”, “crash”,”roar”,’ which are motivated in a certain sense. Secondly, some compounds are not entirely arbitrary eit her. “Snow” and “storm” are arbitrary or unmotivated words, while “snowstorm” is less so. So we can say “arbitrariness” is a matter of degree.4) Linguists refer “duality” of structure to the fact that in all languages so far investigated, one finds two levels of structure or patterning. At the first, higher level, language is analyzed in terms of combinations of meaningful units (such as morphemes, words etc.); at the second, lower level, it is seen as a sequence of segments which lack any meaning in themselves, but which combine to form units of meaning. According to Hu Zhuanglin et al., language is a system of two sets of structures, one of sounds and the other of meaning. This is important for the workings of language. A small number of sounds can be grouped and regrouped into a large number of semantic units (words), and these units of meaning can be arranged and rearranged into an infinite number of sentences. (For example, we have dictionaries of words, but no dictionary of sentences!) Duality makes it possible for a person to talk about anything within his knowledge. No animal communication system enjoys this duality, or even approaches this honor.5) “Displacement”, as one of the design features of the human language, refers to the fact that one can talk about things that are not present, as easily as he does things present. In other words,one can refer to real and unreal things, things of the past, of the present, of the future. Language itself can be talked about too. People can use language’ to d escribe something that hadoccurred, is occurring, or is to occur. But a dog could not bark for a bone to be lost. The bee’s System has a small share of “displacement”, but it is an unspeakable tiny share.6) Language is not biologically transmitted from generation to generation, but the details of the linguistic system must be learned anew by each speaker. It is true that the capacity for language in human beings (N. Chomsky called it “language acquisition device”, or LAD) has a geneticbasis, but the particular language a person learns to speak is a cultural one rather than a geneti c one like the dog’s barking system. If a human being is brought up in isolation he cannot acquire language. The wolf-child reared by the wolves turned out to speak the wolf’s roaring “tongue” when he was saved. And it was difficult for him to acquire human language.7) The imaginative function refers to language used to create imaginary system, whether these are literary works, philosophical systems or utopian visions on the one hand, or daydreams and idle musings on the other hand. It is also language used for sheer joy of using language, such as a baby’s babbling, a chanter’s chanting, a poet’s pleasuring.8) The personal function refers to language used to express the indi vidual’s feelings, emotions and personality.9) The heuristic function of language refers to language used in order to acquire knowledge and understanding the world. The heuristic functioning provides a basis for the structure of knowledge in the different disciplines. Language allows people to ask questions about the nature of the world they live in and to construct possible answers.10) Language is a system of arbitrary vocal symbols used for human communication.2. Multiple Choice1) – 5): A C C C B 6) – 10): A C C B B3. Word Completion.1) defining 2) Descreteness 3）productivity or creativity 4) metalingual 5) culturally, instinct or inheritance 6) speech 7) representational 8) interactional; 9) vocal;10) gramatically meaningful, sound meaningless; 11) system; 12) regulatory 13) arbitrariness, duality, productivity, cultural transmission, interchangeability, discreteness, displacement. 14) sound; 15) exhaustiveness, economy, objectivity, consistency4. True or False Questions1 – 5: FFTFF 6 – 10: FFTFT 11 – 15: FFTFT5. Glossary Translation1)personal function: 人际功能2)heauristic function：启发功能3)ideational function：概念功能4)interchangeability：互换性5)控制功能：regulatory function6)表现功能: representational functin7)文化传递性: cultural transmisssion8)分离性: discreteness9)区别性特征: design features10)不受时空限制的属性: displacement11)Interactional function: 互动功能12)instrumentational function：工具功能13)imaginative function：想象功能14)寒暄功能：phatic function15)元语言功能: metalingual function or metafunction of language16)personal function: 自指性功能17)performative function: 表达功能18)娱乐功能: recreational function19)信息功能: informative function20)人际功能: interpersonal function6. Short Essay Questions1) What are the functions of language? Exemplify each function.According to Wang Gang (1988: 11), the functions of language can be mainly embodied in three aspects. i) Language is a tool of human communication; ii) Language is a tool whereby people learn about the world; iii) Language is a tool by which people create art.As a matter of fact, different linguists have different terms for the various functions of language. The British linguist M. A. K. Halliday uses the following terms to refer to the initial functions of children’s language:(1) InstrumentalThe instrumental function of language refers to the fact that language allows speakers to get things done. It allows them to control things in the environment. People can cause things to be done and to happen through the use of words alone. An immediate contrast here is with the animal world in which sounds are hardly used in this way, and, when they are, they are used in an extremely limited degree. The instrumental function can be primitive too in human interaction. Performative utterances such as the words which name a ship at a launching ceremony clearly have instrumental functions if the right circumstances exist；they are acts, e.g. I name this ship Liberty Bell.(2) RegulatoryThe regulatory function refers to language used in anattempt to control events once they happen. Those events may involve the self as well as others. People do try to control themselves through language, e.g. Why did I say that?/ Steady! / And Let me think about that again. Language helps to regulate encounters among people. Language provides devices for regulating specific kinds of encounters and contains words for approving or disapproving and for controlling or disrupting the behavior of others. It allows us to establish complex patterns of organization in order to try to regulate behavior, from game playing to political organization, from answering the telephone to addressing in foreign affairs. It is the regulatory function of language that allows people some measure of control over events that occur in their lives.(3)RepresentationalThe representational function refers to the use of language to communicate knowledge about the world, to report events, to make statements, to give accounts, to explain relationships, to relay messages and so on. This function of language is represented by all kinds of record-keeping, such as historical records, geographical surveys, business accounts, scientific reports, government acts, and public data banks. It is an essential domain of language use, for the availability of this material guarantees the knowledge-base of subsequent generations, which is a prerequisite of social development.(4) InteractionalThe interactional function refers to language used to ensure social maintenance. Phatic communion is part of it. The term phatic communion introduced by the anthropologist Bronislaw Malinowski refers to language used for establishing an atmosphere or maintaining social contact rather than forexchanging facts. A greeting such as how are you?is relatively empty of content, and answers like fine or very well, thank you are equally empty, because the speaker is not interested in the hearer’s health, but rather to demonstra te his politeness and general attitude toward the other person when he gives a conversational greeting.(5) PersonalThe personal function refers to language used to express the individual’s feelings, emotions and personali ty. A person’s individuality is usually characterized by his or her use of personal function of communication. Each individual has a “voice” in what happens to him. He is free to speak or not to speak, to say, as much or as little as he pleases, and to choose how to say what he says. The use of language can tell the listener or reader a great deal about the speaker or writer —in particular, about his regional origin, social background, level of education, occupation, age, sex, and personality.Language also provides the individual with a means to express feelings, whether outright in the form of exclamations, endorsements, or curse, or much more subtly through a careful choice of words. Many social situations display language used to foster a sense of identity: the shouting of a crowd at a football match, the shouting of names or slogans at public meetings, the reactions of the audience to television game shows, the shouts of affirmation at some religious meetings. For example, the crowds attending Pres ident Regan’s pre-election meetings in 1984 repeatedly shouted “Four more years!” which united among those who shared the same political views.(6) HeuristicThe heuristic function refers to language used in order toacquire knowledge and understanding the world. The heuristic functioning provides a basis for the structure of knowledge in the different disciplines. Insofar as the inquiry into language itself, a necessary result is the creation of a metalanguage, i.e. a language used to refer to language, containing terms such as sound, syllable, word, structure, sentence, meaning and so on.(7) ImaginativeThe imaginative function refers to language used to create imaginary system, whether these are literary works, philosophical systems or utopian visions on the one hand, or daydreams and idle musings on the other hand. The imaginative function also allows people to consider not just the real world but all possible worlds — and many impossible ones. Much literature is the most obvious example to serve this function as an account of Robinson Crusoe in the deserted island. The imaginative function enables life to be lived vicariously and helps satisfy numerous deep artistic urges.2) Explain what the term duality means as it is used to describe a property of humanlanguage.Language is organized at two levels or layers-- sounds and meaning-- simultaneously. This property is called duality, or “double articulation”. In terms of speech production, we have the physical level at which we can produce individual sounds, like n, b, and i. As individual sound, none of these discrete forms has any intrinsic meaning. When we produce those sounds in a particular combination, as in bin, we have another level producing a meaning, which is differentfrom the meaning of the combination in nib. So, at one level, we have distinct sounds, and at another level, we have distinctmeanings. This duality of levels is, in fact,: one of the most economical features of human language, since with a limited set of distinct sounds we are capable of producing a very large number of sound combinations (relatively finite words and infinite number of sentences) which are distinct in meaning. No animal communication system has duality, or ever comes near to possessing it.3) Is language productive or not? Why?(1) Language is productive or creative. (233) This means that users can understand and produce sentences they have never heard before. Every day we send messages that have never been sent before, and we understand novel messages. Much of them we say and hear for the first time; yet there seems no problem of understanding. For example, the sentence” A red-eyed elephant is dancing on the hotel bed” must be new to you and it does not describe a common happening in the world. Nevertheless, nobody has any difficulty in understanding it.(2) Productivity is unique to human language. Most animal communication systems appear to be highly restricted with respect to the number of different signals that their users can send and receive. For example, gibbon calls are not productive, for they draw all their calls from a limited repertoire, which is rapidly exhausted, making any novelty impossible. Bee dancing is used only to indicate food sources, which is the only message that can be sent through the dancing.(3) The productivity or creativity of language partially. originates from its duality, because of which the speaker is able to combine the basic linguistic units to form an infinite set of sentences, most of which are never before produced or heard. The productivity of language also means its potential to createendless sentences. It is the recursive nature of language that provides a theoretical basis for this possibility.4) What is language?(1) It is very difficult to give this question a satisfactory definition. However, most linguists would accept a tentative definition like this: language is a system of arbitrary vocal symbols used for human communication. (2) Language must be a system, since elements in it are arranged according to certain rules; they cannot be combined at will. If language were not systematic, it could not be learned or used consistently. (3) Language is arbitrary in the sense that there is no intrinsic connection between the word pen and the thing we use to write with. The fact that different languages have different words for it (钢笔in Chinese for instance) speaks strongly for the arbitrary nature of language. (4) This also explains the symbolic nature of language: words are associated with objects, actions, ideas by convention. (5) We say language is vocal because the primary medium is sound for all languages, no matter how well developed are their writing systems. All evidence shows that writing systems came much later than the spoken forms and that they are only attempts to capture sounds and meaning on paper (6) Th e term “human”in the definition is meant to specify that language is human.specific; that is, it is very different from the communication systems other forms of life possess.5) What are the major design features of language? Please explain three of themwith examples.(1) Displacement is one of the defining properties of human language, which refers to the fact that human language can be used to talk about things that are present or not present, real ornot real, and about matters in the past, present or future, or in far-away places. In other words, language can be used to refer to contexts removed from the immediate situations of its users.This phenomenon is thought of as “displacement”, which can provide its users with an opportunity to communicate about a wide range of subjects, free from any barriers caused by separation in time and space. That is, the feature of displacement can enable us to talk about things and places whose existence we cannot even be sure of. We can refer to mythical creatures, demons, fairies, angels, Santa Claus, and recently invented characters such as superman. This feature is unique to human language. No animal communication system possesses it. Some animal calls are often uttered in response to immediate changes of situation. For instance, during the mating season, in the present of danger or pain, animals will make calls. Once the danger or pain is missing, their calls stop.(2) Discreteness The sounds used in language are meaningfully distinct. For example, the difference between the sounds b andp is actually not very great, but when these sounds are part of a language like English, they are used in such a way that the occurrence of one rather than the other is meaningful. The fact that the pronunciation of the forms pack and back leads to a distinction in meaning can only be due to the difference between the sounds p and b in English. This property of language is described as discreteness. Each sound in the language is treated as discrete. It is possible; in fact, to produce a range of sounds in a continuous stream which are all generally like the p and b sounds. However, that continuous stream will only be interpreted as being either a p sound, or a b sound (or, possibly, as a non-sound) in the language. We have a very discrete view ofthe sounds of our language and wherever a pronunciation falls within the physically possible range of sounds, it will be interpreted as a linguistically specific and meaningfully distinct sound(3) Language is a system. It is organized into two levels simultaneously. We have distinct sounds at the lower level (sound level), which is seen as a sequence of segments which have no meaning in themselves. At the higher level, we have distinct meanings (meaningful level). Language is analyzed in terms of combination of meaningful units. Then the meaningful units (such as morphemes, words, etc.) at the higher level can be arranged and rearranged into an infinite number of sentences. The organization of language into levels, one of sounds, the other of meaning, is known as duality or double articulation. This unique feature of language enables its users to talk about anything within their knowledge. No animal communication system possesses the feature of duality.。
Ontolo gy 技术在自然语言理解中的应用孙艳峰,王建荣,冯志勇(天津大学,天津300072)摘 要:自然语言的理解是解决人机交互问题的一个重要课题。
本文则将O ntology 技术应用于自然语言的理解。
通过建立基于Ontology 技术的语义分析模型来提高语义理解的成功率。
关键词:本体论;资源描述框架;元信息中图分类号:TP 393-4 文献标识码:A 文章编号:1001-7542(2003)03-0055-041 研究的基础自有计算机那一天开始,就有了人采取何种方式与计算机进行通信的问题。
人处理信息的方式由于使用的媒体和所要达到的目的不同,故呈现出多种形式并存的局面。
然而,计算机却只能以二进制编码的方式对信息进行处理。
任何信息,不管其外部形式如何,都必须转换成计算机的内部形式,才能被计算机所接受和处理。
这在客观上制约了人与计算机(网络)的交流,如果人人都可以用自然语言直接与计算机进行通信,则可以从根本上解决人机交互的问题。
[1]1.1 自然语言具有以下三个特征1.1.1 离散性 任何一种语言,在生成和理解的过程中,都是被切分为单个的元素(如音素词素,词,短语,句子),并按一定规律组合之后,才形成了貌似连续的语流。
语言的离散性,既体现在空向上也体现在时间上。
凡离散的事物都不是分布在一个连续系统上,它们或是单个而有穷的,或是单个、无穷而可数的,并且都能与自然数(如:1,2,3 )建立一一对应的关系。
1.1.2 序列性 语言是沿空间和时间呈线性序列依次展开的。
如口语是由音素的线性序列所构成,书面语则是由词素的线性序列所构成。
1.1.3 邻接性 任何两个组合在一起的语言单位之间的基本关系是 依次邻接!,不具备左邻接关系的语言单位构成了语流的起始态,而不具备右邻接关系的语言单位则构成语流的终止态。
单独的语言单位既是其起始态,也是其终止态的标志。
根据可计算性理论,任一自动机的运算都是按一定程序,分步骤相继作用在离散对象之上所完成的,而这些对象又都以线性序列相邻接地排列组合所构成。
Replace thisfile with prentcsmacro.sty for your meeting,or with entcsmacro.sty for your meeting.Both can befound at the ENTCS Macro Home Page.Hybrid Logics and Ontology Languages Ian Horrocks1Birte Glimm2Ulrike Sattler3School of Computer ScienceUniversity of ManchesterManchester,UKAbstractDescription Logics(DLs)are a family of logic based knowledge representation formalisms.Although they have a range of applications,they are perhaps best known as the basis for widely used ontology languages such as OIL,DAML+OIL and OWL,the last of which is now a World Wide Web Consortium(W3C) recommendation.SHOIN,the DL underlying OWL DL(the most widely used“species”of OWL),includes familiar features from hybrid logic.In particular,in order to support extensionally defined classes,SHOIN includes nominals:classes whose extension is a singleton set.This is an important feature for a logic that is designed for use in ontology language applications,because extensionally defined classes are very common in ontologies.Binders and state variables are another feature from Hybrid Logic that would clearly be useful in an ontology language,but it is well known that adding this feature to even a relatively weak language would lead to undecidability.However,recent work has shown that this feature could play a very useful role in query answering,where the syntactic structure of queries means that the occurrence of state variables is restricted in a way that allows for decidable reasoning.Keywords:Description Logic,Hybrid Logic,Tableaux Reasoning1IntroductionDescription Logics(DLs)are a family of logic based knowledge representation for-malisms.Although they have a range of applications(e.g.,configuration[23],and information integration[7]),they are perhaps best known as the basis for widely used ontology languages such as OIL,DAML+OIL and OWL[14],the last of which is now a World Wide Web Consortium(W3C)recommendation[4].The OWL specification describes three language“species”,OWL Lite,OWL DL and OWL Full,two of which(OWL Lite and OWL DL)are based on expressive description logics.4The decision to base these languages on DLs was motivated by a requirement that key inference problems(such as ontology consistency)be decidable,and hence that it should be possible to provide reasoning services to support ontology design and deployment[14].1Email:horrocks@2Email:glimm@3Email:sattler@4OWL Full uses the same language vocabulary as OWL DL,but does not restrict its use to“well formed formulae”.c 2006Published by Elsevier Science B.V.OWL Lite and OWL DL are based on the DLs SHIF and SHOIN respectively—in fact,OWL Lite is just a syntactic subset of OWL DL[14].5 SHOIN,the DL underlying OWL DL,includes familiar features from hybrid logic. In particular,in order to support extensionally defined classes,SHOIN includes nominals:classes whose extension is a singleton set.This is an important fea-ture for a logic that is designed for use in ontology language applications,because extensionally defined classes are very common in ontologies.For example,OWL provides a oneOf class constructor that allows users to define classes by enumerat-ing their members,e.g.,when describing a class such as EUCountries by enumerating its members,i.e.,{Austria,...,UnitedKingdom}(such an enumeration is equivalent to a disjunction of nominals).This allows applications to infer,e.g.,that persons who only visit EUCountries can visit at most25countries.Singleton classes are also widely used in ontologies,e.g.,in the well known OWL Wine ontology(see /TR/owl-guide/wine.rdf),where they are used for colours, grape types,wine producing regions,etc.Binders(in particular the↓binder)and state variables are another feature from Hybrid Logic that would clearly be useful in an ontology language,but it is well known that adding this feature to even a relatively weak language would lead to undecidability[5].Recent work has shown,however,that this feature could play a very useful role in query answering,where the syntactic structure of queries means that the occurrence of state variables is restricted in a way that allows for decidable reasoning.2PreliminariesThe correspondence between modal and description logics has long been understood [29].The basic propositionally closed DL ALC is equivalent to the propositional modal logic K(m).The logic S extends ALC with transitive roles,and so can be thought of as the union of K(m)and K4(m).SHOIQ extends S with a hierarchy of roles(H),i.e.,the ability to assert implications w.r.t.modalities,nominals(O), inverse roles(I),i.e.,converse modalities,and qualified cardinality constraints(Q), i.e.,graded modalities.The DL SHOIN is a restricted version of SHOIQ,which is obtained by allowing only unqualified cardinality constraints,i.e.,graded modalities can range over the concept only.We will now briefly introduce the syntax,semantics,and inference problems of the DL SHOIQ;full details can be found in[16].Definition2.1Let R be a countable set of role names with both transitive and normal role names R+∪R P=R,where R P∩R+=∅.The set of SHOIQ-roles(or roles for short)is R∪{R−|R∈R}.A role inclusion axiom is of the form R S, for two roles R and S.A role hierarchy is afinite set of role inclusion axioms.An interpretation I=(∆I,·I)consists of a non-empty set∆I,the domain of I,and a function·I which maps every role to a subset of∆I×∆I such that,for 5OWL also includes datatypes,a simple form of concrete domain[2].These can,however,be treated exactly as in SHOQ(D)/SHOQ(D n)[15,11,27],so we will not complicate matters by considering them here.P∈R and R∈R+,x,y ∈P I iff y,x ∈P−I,and if x,y ∈R I and y,z ∈R I,then x,z ∈R I.An interpretation I satisfies a role hierarchy R if R I⊆S I for each R S∈R; such an interpretation is called a model of R.Definition2.2Let N C be a countable set of concept names with a subset N I⊆N C of nominals.The set of SHOIQ-concepts(or concepts for short)is the smallest set such that1.every concept name C∈N C is a concept,2.if C and D are concepts and R is a role,then(C D),(C D),(¬C),(∀R.C), and(∃R.C)are also concepts(the last two are called universal and existential restrictions,resp.),and3.if C is a concept,R is a simple role6and n∈I N,then( nR.C)and( nR.C) are also concepts(called atmost and atleast number restrictions).The interpretation function·I of an interpretation I=(∆I,·I)maps,additionally, every concept to a subset of∆I such that(C D)I=C I∩D I,(C D)I=C I∪D I,¬C I=∆I\C I, o I=1for all o∈N I,(∃R.C)I={x∈∆I|R I(x,C)=∅},(∀R.C)I={x∈∆I|R I(x,¬C)=∅},( nR.C)I={x∈∆I| R I(x,C) n},and( nR.C)I={x∈∆I| R I(x,C) n},where M is the cardinality of a set M and R I(x,C)is defined as{y| x,y ∈R I and y∈C I}.We sometimes use(=nR.C)as an abbreviation for( nR.C) ( nR.C).For C and D(possibly complex)concepts,C˙ D is called a general concept inclusion(GCI),and afinite set of GCIs is called a TBox.Let N A be a countable set of individual names.For a,b∈N A,C a(possibly complex)concept,and R a role,an individual assertion is of the form C(a)or R(a,b),and afinite set of individual assertions is called an ABox.For T a TBox and A and ABox,a pair T,A is called a Knowledge Base(KB).Individual names can also be seen as a weak form of nominals,and it is well known that,in the presence of nominals,an ABox can be expressed in terms of TBox axioms[28].For a DL with nominals, we can therefore assume that each individual assertion C(a)is an abbreviation for a˙ C with a∈N I and each assertion R(a,b)is an abbreviation for a˙ ∃R.b with a,b∈N I.Given a nominal o with o I={x}for some individual x∈∆I,we will 6A simple role is a role that is neither transitive nor has a transitive sub-role;restricting number restrictions to simple roles is required in order to yield a decidable logic[17].sometimes abuse our notation by treating o as an individual name such that o I=x. Please note that we do not make a unique name assumption:two nominals(resp. individual names)might have the same interpretation.An interpretation I satisfies a GCI C˙ D if C I⊆D I,it satisfies an individual assertion C(a)if a I∈C I,and it satisfies an individual assertion R(a,b)if a I,b I ∈R I.An interpretation I satisfies a TBox T(resp.ABox A)if I satisfies each GCI in T(resp.each individual assertion in A),and I satisfies a KB K= T,A if I satisfies both T and A;such an interpretation is called a model of T(resp.A,K).A concept C is satisfiable w.r.t.a role hierarchy R and a KB K if there is a model I of R and K withC I=∅.Such an interpretation is called a model of C w.r.t.R and K.A conceptD subsumes a concept C w.r.t.R and K(written C R,K D)if C I⊆D I holds in every model I of R and K.Two concepts C,D are equivalent w.r.t.R and K(written C≡R,K D)if they are mutually subsuming w.r.t.R and K.For an individual name a,we say that a is an instance of a concept C w.r.t.a role hierarchy R and a KB K if a I∈C I for every model I of R and K,and,for a,b∈I N A,the pair(a,b)is an instance of a role R if a I,b I ∈R I for every model I of R and K.3Reasoning with NominalsA key motivation for basing OWL DL on Description Logics was in order to ex-ploit both theoretical results and implemented DL reasoning systems.Interestingly, though,at the time of the standardisation of OWL there was no known“practical”algorithm for deciding the satisfiability of a SHOIQ KB(where by practical,we mean a goal directed procedure that is likely to behave well on typical ontology de-rived problems[33,15]).As a consequence,no implemented systems were available either.Although,via correspondences with other logics,SHOIQ was known to be decidable[33,26],it proved difficult to extend existing tableaux decision procedures to deal with SHOIQ.The problem is not caused by nominals alone—decision pro-cedures for SHOQ(i.e.,SHOIQ minus inverse roles)and SHOI(i.e.,SHOIQ minus number restrictions)were already known—but by the combination of nomi-nals with inverse roles and number restrictions.In order to see why this is problematical,it is useful tofirst consider some of the features of SHIQ(i.e.,SHOIQ minus nominals),and of the tableaux decision procedure for SHIQ.One reason why DLs(and propositional modal and dynamic logics)enjoy good computational properties,such as being robustly decidable,is that they have some form of tree model property[35,10],i.e.,if an ontology is consistent,then it has a model with a tree-like relational structure.This feature is crucial in the design of tableaux algorithms,allowing them to search only for tree-like models.More precisely,DL tableaux algorithms decide consistency of an ontology by trying to construct an abstraction of a model for it,a so-called“completion graph”. In a completion graph,each node x represents one or more individuals,and is la-belled with a set of concepts which the individuals represented by x are instances of;each edge x,y represents one or more pairs of individuals,and is labelled witha set of roles which the pairs of individuals represented by x,y are instances of. The algorithm works by initialising the graph with one node for each individual name/nominal in the input KB,and using a set of expansion rules to syntactically decompose concepts in node labels;each such rule application can add new con-cepts to node labels and/or new nodes and edges to the completion graph,thereby explicating the structure of a model.The rules are repeatedly applied until either the graph is fully expanded(no more rules are applicable),in which case the graph can be used to construct a model that is a witness to the satisfiability of the input KB,or an obvious contradiction(called a clash)is discovered(e.g.,both C and¬C in a node label),proving that the completion graph does not correspond to a model. The input KB is consistent iffthe rules(some of which are nondeterministic)can be applied in such a way as to produce a fully expanded and clash free completion graph.For logics with the tree model property,we can restrict our search/construction to tree-shaped completion graphs.For expressive DLs,this restriction is crucial, since tableaux algorithms for them employ a cycle detection technique called block-ing in order to guarantee termination.This is of special interest for SHIQ,where the interaction between inverse roles and number restrictions results in the loss of thefinite model property,i.e.,there are consistent ontologies that only admit infinite models.On such an input,the SHIQ tableaux algorithm generates afinite,tree-shaped completion graph that can be unravelled into an infinite tree model,and where a node in the completion graph may stand for infinitely many elements of the model.Even when the language includes nominals,but excludes one of number re-strictions or inverse roles[15,13],or if only individual names instead of nominals are allowed[18],we can work on forest-shaped completion graphs,with each nominal (individual)being the root of a tree-like section;this causes no inherent difficulty as the size of the non-tree part of the graph is restricted by the number of individual names/nominals in the input.The difficulty in extending the SHOQ or SHIQ algorithms to SHOIQ is due to the interaction between nominals,number restrictions,and inverse roles,which leads to the almost complete loss of the tree model property,and causes the complexity of the ontology consistency problem to jump from ExpTime to NExpTime[32].To see this interaction,consider an ontology containing the following two axioms involving a nominal o and a non-negative integer n:F˙ ∃U−.oo˙ ( n U.F)Thefirst statement requires that,in a model of this ontology,every instance of F has an incoming U-edge from o,while the second statement restricts the number of U-edges going from o to instances of F to at most n.The nominal o thus acts as a so-called“spy point”for instances of the concept F(o can“see”every instance of F),and the number restriction on the inverse of U imposes an upper bound of n on the number of instances of F.If we add further axioms,we might need to consider arbitrarily complex relational structures amongst instances of F.For example,ifwe add the following axiom,then there must be exactly n instances of F,and each instance of F is necessarily R-related to every instance of F(including itself):F˙ (=nR.F).Similarly,the following axiom would enforce S-cycles over instances of F:F˙ (=1S.F) (=1S−.F).Hence a tableaux algorithm for SHOIQ needs to be able to handle arbitrarily com-plex relational structures,and thus we cannot restrict our attention to completion trees or forests.To complicate matters even more,recall that there are even SHIQ axioms that enforce the existence of an infinite number of instances of a concept.For example, the concept¬N ∃T.N is satisfiable w.r.t.the following axiom,but only in models with infinitely many instances of N:N˙ ( 1T−.(A ¬A)) ∃T.N.Now consider an ontology that contains,amongst others,all the above mentioned axioms.The consistency of this ontology then crucially depends on the relations enforced between instances of F and N.For example,the additional axiomsN˙ ∃V.F andF˙ ( kV−.N)yield an inconsistent ontology since our at most n instances of F cannot play the rˆo le of V-fillers for infinitely many instances of F when each of them can be the V-filler of at most k instances of N.Summing up,a tableaux algorithm for SHOIQ needs to be able to handle both arbitrarily complex relational structures andfinite tree structures representing in-finite trees,and to make sure that all constraints are satisfied—especially number restrictions on relations between these two parts—while still guaranteeing termina-tion.Two key intuitions have allowed us to devise a tableaux algorithm that meets all of these requirements.Thefirst intuition is that,when extending a SHOIQ completion graph,we can distinguish those nodes that may be arbitrarily intercon-nected(so-called nominal nodes)from those nodes that still form a tree structure (so-called blockable nodes).Moreover,restrictions on the ways in which nominal nodes can be created allow us tofix a(double exponential)upper bound on the number of nominal nodes that can occur in a completion graph.This allows us to restrict blocking,and hence unravelling,to blockable nodes,i.e.,blockable nodes may represent an infinite number of individuals,whereas a nominal node represents exactly one individual in the model.This allows us tofix an upper bound on the size of a completion graph,but it is still not enough to guarantee termination,as we may repeatedly create and merge nodes.For example,given the axiom:C (∃R.C) (∀R−.o),where o is a nominal,constructing a completion graph for C could lead to a se-quence of three nodes,say x0,x1and x2,with{r}labelled edges connecting x0with x1and x1with x2,and with the nodes labelled{C,(∃R.C),(∀R−.o),o}, {C,(∃R.C),(∀R−.o),o}and{C,(∃R.C),(∀R−.o)}respectively.The tableaux rule dealing with nominals might then be applied in order to merge x1into x0(reflecting the semantics of nominals),but applying the rule dealing with existential restric-tions to(∃R.C)in the label of x2would lead to the creation of a new{R}labelled edge connecting x2to a new node,say x3,which,after some additional expansion, would have the same label as x2.Applying the rule dealing with value restrictions to(∀R−.o)in the label of x3would cause o to be added to the label of x2,and allow the above process to be repeated w.r.t.x0,x2and x3.This(particular version of the)problem was identified by Baader,and called,for obvious reasons,a“yo-yo”[2,3].This problem is normally addressed by discarding sub-trees below a node when-ever it is merged with another node.In the above case,for example,this would result in x2(and the edge from x1to x2)being removed from the graph when x1is merged with x0;the resulting graph is fully expanded,and so the algorithm would terminate.This only works,however,in tree-shaped parts of the completion graph, as the notion of a sub-tree is otherwise not well defined.This can lead to problems if nominal nodes are created and merged.The second and crucial intuition is that this problem can be overcome by“guess-ing”the exact number of new nominal nodes created as the result of interactions between existing nominal nodes,inverse roles,and number restrictions.This guess-ing is implemented by a new expansion rule,the NN-rule.When applied to a relevant( nR.C)concept in the label of a nominal node x,the NN-rule chooses (non-deterministically)an integer m,such that1 m n,adds( mR.C)to the label of x,and generates m new nominal nodes,all of which are pairwise disjoint, and m new{R}labelled edges leading from x to the new nominal nodes.As they are pairwise disjoint,none of these nodes can be merged,and adding( mR.C) means that no more nominal nodes can be added as a result of concepts of the form ( nR.C)in the label of x.Termination is now guaranteed by the upper bound on the number of nominal nodes and the use of standard blocking techniques for the blockable nodes.The non-determinism introduced by this rule will clearly be prob-lematical for large values of n,but large values in number restrictions are already known to be problematical for SHIQ.Moreover,the rule has excellent“pay as you go”characteristics:in case number restrictions are functional(i.e.,where n is 1),7the new rule becomes deterministic;in case there are no interactions between number restrictions,inverse roles,and nominals,the rule will never be applied;in case there are no nominals,the new algorithm behaves like the algorithm for SHIQ; and in case there are no inverse roles the new algorithm behaves like the algorithm 7The DL obtained from SHIQ by allowing only functional number restrictions is called SHIF.There are many realistic SHIF ontologies;see, e.g.,the DAML ontology library at /ontologies/for SHOQ.Indeed,recent implementations of this algorithm in Fact++and Pellet[34,30] show promising behaviour:for example,the Wine ontology8can now be classified, and both reasoners only take a few seconds for its classification,despite the fact that it is in SHOIF and contains206nominals.Recent work has also shown how a similar technique can be used in order to extend resolution based reasoning procedures to deal with SHOIQ[21].4Answering Conjunctive QueriesExisting DL reasoners(for example FaCT++[34],KAON2[20],Pellet[30]and Racer Pro[12])provide automated reasoning support for checking concepts for sat-isfiability and subsumption,and also for answering queries that retrieve instances of concepts and roles.In many applications,however,a more powerful query language is required.An obvious approach would be to extend Datalog style conjunctive queries to DLs,and this has led to studies of the problem of conjunctive query answering for DLs[22,19].As usual,we will restrict our attention to the problem of answering Boolean conjunctive queries,i.e.,queries where the answer is either true or false;it is well known how to reduce non-Boolean queries(i.e.,queries where the answer is a set of tuples of individuals)to Boolean ones.Definition4.1A Boolean conjunctive query q has the form ←conj1( y; c)∧...∧conj n( y; c),where y is a vector of variables and c is a vector of individual names.We call T(q)= y∪ c the set of terms in q,9and we call each conj i( y; c)for1≤i≤n an atom.Atoms are either concept or role atoms:a concept atom has the form C(t), and a role atom the form R(t,t ),for{t,t }⊆T(q),C a possibly complex concept, and R a role.The semantics of Boolean conjunctive queries is defined in terms of assignments. Let K be an knowledge base,I=(∆I,·I)a model for K,and q a Boolean conjunctive query.An assignment in I is a mapping·A:T(q)→∆I.We say that q is true in I and write I|=q if there exists an assignment·A in I s.t.t A∈{t I}for every individual name t∈ c,t A∈C I for every concept atom C(t)in q,and t A,t A ∈R I for every role atom R(t,t )in q.We call such an assignment a q-mapping w.r.t.I. If I|=K implies I|=q for all models I of K,then we say that q is true in K,and write K|=q;otherwise we say that q is false in K,and write K|=q.The development of a decision procedure for conjunctive query answering in expressive DLs is still a partially open problem.Grounded conjunctive queries for SHIQ and/or SHOIQ are supported by KAON2,Pellet,and Racer’s query language nRQL[24,12].However,the semantics of grounded queries is different from the usually assumed open-world semantics in DLs since existentially quantified variables are always bound to named individuals.Various decision procedures[9,25,19]are known for restricted fragments of con-junctive queries.The most common restriction used in order to obtain a decision8Available at /2001/sw/WebOnt/guide-src/wine.rdf.9For readability,we sometimes abuse our notation and refer to y as a set.When referring to a vector y as a set,we mean the set{y i|y i occurs in y}.procedure is that each role that occurs in the query must be a simple role,i.e.,a role that is neither transitive nor has a transitive sub-role.A commonly used technique is to reduce the problem of answering a Boolean conjunctive query to the problem of deciding concept satisfiability w.r.t.a KB.The idea is to view the query as a graph and,starting from leaf nodes,to“roll up”the graph into a single atom of the form C(t)such that the query is true in a KB K iff¬C is unsatisfiable w.r.t.K[9,6,19,31].For example,the queryq= ←R(t,t )∧S(t ,t )∧C(t )could be rolled up into←(∃R.(∃S.C))(t)such that K|=q iff¬(∃R.(∃S.C))is unsatisfiable w.r.t.K.Unfortunately,the above described technique is only able to deal with tree shaped queries,i.e.,those where the query graph does not contain a cycle,because the above mentioned tree model property means that DL concepts cannot capture cyclic relationships.Even nominals cannot express the arbitrary cyclic structures that can occur in a query[31].Recent work has,however,shown how an extension of DLs with a restricted form of the↓binder operator and state variables can enable an extension of the rolling-up technique to deal also with cyclic queries[9].It is easy to see how these features can be used to roll up an arbitrary query into a suitable concept.For example,the queryq= ←R(t,t )∧S(t ,t)could be rolled up into the concept←(↓t.(∃R.(∃S.t)))(t)Although the↓binder already makes the DL ALC undecidable,when used in query answering the↓binder occurs only in a very restricted form,and the resulting extension of SHOIQ is still decidable[8]if only simple roles are used in the query. Moreover,it is relatively easy to extend a tableaux algorithm for SHOIQ to one with this restricted form of the↓binder.However,although it is now known that conjunctive query answering for SHIQ(without any restrictions)is decidable[1], it is not clear how to extend the↓binder technique to queries in which non-simple roles occur in a cycle.In this case,the binder interacts with blocking in a way that makes termination problematical.5DiscussionAs we have seen,description logics underlying state of the art ontology languages include nominals,a well known feature of hybrid logic.Nominals are an important feature of ontology languages,as extensionally defined and singleton classes are common in ontologies.Recent advances in DL reasoning techniques have shown how the tableaux algorithm for SHIQ,which is widely used in DL reasoners,can be extended to deal with nominals,and implementations of the shown algorithmhave already exhibited promising results.Moreover,it has also been shown that a similar technique can be applied to resolution based reasoning procedures.The↓binder,another familiar feature of hybrid logics,has also been investi-gated in the context of DL reasoning,in this case algorithms for conjunctive query answering.It has been shown that an extension of SHOIQ to include a restricted form of this feature is not only decidable,but is extremely useful in the context of conjunctive query answering.Currently,the decision procedure is restricted to con-junctive queries with only simple roles and extending the technique to unrestricted conjunctive queries is still an open problem.References[1]Anonymous.Conjunctive query answering for SHIQ.Technical report,2006.http://ijcai.tripod.com/SHIQ-CQ.pdf.[2]F.Baader and P.Hanschke.A schema for integrating concrete domains into concept languages.InProc.of the12th Int.Joint Conf.on Artificial Intelligence(IJCAI’91),pages452–457,1991.[3]F.Baader and U.Sattler.An overview of tableau algorithms for description logics.Studia Logica,69(1):5–40,Oct.2001.[4]S.Bechhofer,F.van Harmelen,J.Hendler,I.Horrocks,D.L.McGuinness,P.F.Patel-Schneider,and L.A.Stein.OWL web ontology language reference.W3C Recommendation,10February2004.Available at /TR/owl-ref/.[5]P.Blackburn and J.Seligman.Hybrid languages.Journal of Logic,Language and Information,4(3):251–272,1995.Special issue on decompositions offirst-order logic.[6]D.Calvanese,G.De Giacomo,and M.Lenzerini.On the decidability of query containment underconstraints.In Proc.of the17th ACM SIGACT SIGMOD SIGART Symp.on Principles of Database Systems(PODS’98),pages149–158,1998.[7]D.Calvanese,G.De Giacomo,M.Lenzerini,D.Nardi,and R.Rosati.Description logic framework forinformation integration.In Proc.of the6th Int.Conf.on Principles of Knowledge Representation and Reasoning(KR’98),pages2–13,1998.[8]B.Glimm,I.Horrocks,and U.Sattler.Conjunctive query answering for description logics with transitiveroles.In Proc.of the2006Description Logic Workshop(DL2006),pages3–14.CEUR Electronic Workshop Proceedings,/Vol-189/,2006.[9]B.Glimm,I.Horrocks,and U.Sattler.Conjunctive query answering for the description logicSHOIQ.Technical report,The University of Manchester,2006./∼horrocks/Publications/download/2006/GlHS06b.pdf.[10]E.Gr¨a del.The decidability of guardedfixed point logic.In J.Gerbrandy,M.Marx,M.de Rijke,andY.Venema,editors,Essays Dedicated to Johan van Benthem on the Occasion of his50th Birthday.Amsterdam University Press,1999.[11]V.Haarslev and R.M¨o ller.Description of the RACER system and its applications.In Proc.of the2001Description Logic Workshop(DL2001),pages132–141.CEUR Electronic Workshop Proceedings, /Vol-49/,2001.[12]V.Haarslev,R.M¨o ller,and M.Wessel.Querying the Semantic Web with Racer+nRQL.In Proc.ofthe KI-2004Intl.Workshop on Applications of Description Logics(ADL’04),2004.[13]J.Hladik and J.Model.Tableau systems for SHIO and SHIQ.In Proc.of the2004Description LogicWorkshop(DL2004).CEUR,2004.Available from .[14]I.Horrocks,P.F.Patel-Schneider,and F.van Harmelen.From SHIQ and RDF to OWL:The makingof a web ontology language.J.of Web Semantics,1(1):7–26,2003.[15]I.Horrocks and U.Sattler.Ontology reasoning in the SHOQ(D)description logic.In Proc.of the17th Int.Joint Conf.on Artificial Intelligence(IJCAI2001),pages199–204.Morgan Kaufmann,Los Altos,2001.[16]I.Horrocks and U.Sattler.A tableaux decision procedure for SHOIQ.In Proc.of the19th Int.JointConf.on Artificial Intelligence(IJCAI2005),pages448–453,2005.。
