OUP, England ()  Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with compliments. AI 48(1), 1–26 ()  Segerberg, K.: A note. Sattler, U.: Description logics for the representation of aggregated objects. Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with compliments. A core AL-based description logic is the Attributive (Concept) Language with Complements (ALC), in which, unlike AL, the complement of any concept is allowed.
|Published (Last):||4 June 2010|
|PDF File Size:||7.30 Mb|
|ePub File Size:||8.50 Mb|
|Price:||Free* [*Free Regsitration Required]|
A glacier is a huge body of ice.
Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis.
The direct object and indirect object are different people or places or things.
The secondary reason is that the distinction can make sense from the knowledge base modeler’s concepg. Showing of 16 references. The syntax of a member of the description logic family is characterized by its recursive definition, in which the constructors that can be used to form concept terms are stated.
This page was last edited on 21 Decemberat This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts. Description Logics in Multimedia Reasoning. Lecture Notes in Computer Science.
The semantics of description logics are defined by interpreting concepts as sets of individuals and roles as sets of ordered pairs of individuals. With a transitive verbobjects and object complements are said to be part of the predicate.
The primary reason is that the separation can be useful when describing and formulating decision-procedures for various DL. Description logic was given its current name in the s. This glacier is not yet fully formed. The more operators one includes in a logic and the more complicated the T-box having cycles, allowing non-atomic concepts to include each otherusually the higher the computational complexity is for each of these problems see Description Logic Complexity Navigator for examples.
A subject complement follows a linking verb ; it is normally an adjective or a noun that renames or defines in some way the subject. Major fields of computer science. She used to be the tallest girl on the team. Lisi Description Logics A simple predicate consists of only a verb, verb string, or compound verb:.
Predicates, Objects, Complements
Computer architecture Embedded system Real-time computing Dependability. Enumerated classes of object value restrictions: From the mid ’90s, reasoners were created with good practical performance on very expressive DL with high worst case complexity.
An object complement follows and modifies or refers to a direct object. Ramsay Fowler and Jane E. Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory. Granny left Raoul all her money. A description logic DL models conceptsroles and individualsand their relationships. It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: The slow moving glacier wiped out an entire forest. Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service.
Description logic – Wikipedia
Many DLs are more expressive than propositional logic descriptikns less expressive than first-order logic. From This Paper Figures, tables, and topics from this paper. Interaction design Social computing Ubiquitous computing Visualization Accessibility.