OUP, England () [27] Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with compliments. AI 48(1), 1–26 () [28] 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.

Author: Shakakus Douran
Country: Finland
Language: English (Spanish)
Genre: Technology
Published (Last): 4 June 2010
Pages: 178
PDF File Size: 7.30 Mb
ePub File Size: 8.50 Mb
ISBN: 568-4-53517-471-1
Downloads: 83285
Price: Free* [*Free Regsitration Required]
Uploader: Dogore

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.

Description logic

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.

RoundsRobert T.

The complexity of existential quantification in terminological reasoning. By using this site, you agree to the Terms of Use and Privacy Policy. The instructor gave his students A’s.

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.