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: Mubar Samugor
Country: Andorra
Language: English (Spanish)
Genre: Environment
Published (Last): 9 February 2012
Pages: 22
PDF File Size: 4.84 Mb
ePub File Size: 7.61 Mb
ISBN: 675-3-47728-355-3
Downloads: 87580
Price: Free* [*Free Regsitration Required]
Uploader: Kizil

Attributive Concept Descriptions with Complements

In that sentence, “daughter” is the direct object and “Natasha” is the object complement, which renames or describes the direct object. Adjective complements are also called predicate adjectives ; noun complements are also called predicate nouns or predicate nominatives. This approach featured DL with descripitons expressiveness but relatively efficient polynomial time reasoning.

There are two features of description logic that are not shared by most other data description formalisms: Fuzzy description logics combines fuzzy logic with DLs. Computer architecture Embedded system Real-time computing Dependability.

With an intransitive verbobjects and complements are included foncept the predicate. Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository.

Description logic – Wikipedia

Articles with short description. Many DLs are decidable fragments of first-order logic FOL [5] and are usually fragments of two-variable logic or guarded logic. A predicate adjective follows a linking verb and tells us something about the subject: See, also, pronoun cases.

Since this page is about the completers of thoughts, it is descgiptions to include a brief description of complements. A compound predicate consists of two or more such predicates connected: World Wide Wed Consortium. Granny left Raoul all her money.


Attributive Concept Descriptions with Complements – Semantic Scholar

This is done by using a recursive definition similar to the syntax. In addition to the ability to describe concepts formally, one also would like to employ the description of a set of concepts to ask questions about the concepts and instances described.

In the above example: Since many concepts that are complimentts for intelligent systems lack well defined boundaries, or precisely defined criteria of membership, fuzzy logic is needed to deal with notions of vagueness and imprecision.

See predicatesabove. Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory. 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. The participle “excited” complements the object “children.

Bob is an employee. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 These are some of the most popular:. His grandmother loves him [object].

For example, a reasoner might process the TBox and ABox separately, in part because certain key inference problems are tied to one but not the other one ‘classification’ is related to the TBox, ‘instance checking’ to the ABox. Semantic analytics Semantic broker Semantic computing Semantic mapper Semantic matching Semantic publishing Semantic reasoner Semantic search Semantic service-oriented architecture Semantic wiki.

A predicate is the completer of a sentence. Brachman Computational Intelligence Dataspaces Hyperdata Linked data Rule-based systems. Topics Discussed in This Paper. Other constructors have no corresponding construction in FOL including restrictions on roles for example, inverse, transitivity and functionality. From Wikipedia, the free encyclopedia.


Glaciers are beautiful and potentially dangerous at the same time. Foundations of Semantic Web Technologies. The glacier has been melting. Citations Publications citing this paper. Clearly, a sentence of this form is not privileged or special over sentences in which only constants “grounded” values appear like 2. For example, the statement:. Lisi Description Logics This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts.

We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. Computer Science portal Logic portal Information science portal. The semantics of non-atomic concepts and roles is then defined in terms of atomic concepts and roles. Those individuals are typically assumed from a given domain.

An object complement follows and modifies or refers to a direct object. Enumerated classes of object value restrictions: It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that can be decided with linear space. Model of computation Formal language Automata theory Computational complexity theory Logic Semantics.

She used to be the tallest girl on the team. This is not true of pronounshowever, which use different forms for different functions.

Two Theses of Knowledge Representation: