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: Samugor Yozshuran
Country: Kazakhstan
Language: English (Spanish)
Genre: Sex
Published (Last): 22 February 2012
Pages: 179
PDF File Size: 4.82 Mb
ePub File Size: 2.30 Mb
ISBN: 998-2-45259-465-5
Downloads: 5633
Price: Free* [*Free Regsitration Required]
Uploader: Dousida

Jo-Bob sold me her boat.

Attributive Concept Descriptions with Complements

Citations Publications citing this paper. That garbage on compluments street smells bad. Description logic is related to—but developed independently of— modal logic ML. A predicate is the completer of a sentence. Fuzzy description logics combines fuzzy logic with DLs. Some constructors are related to logical constructors in first-order logic FOL such as intersection or conjunction of concepts, union or disjunction of concepts, negation or complement of concepts, universal restriction and existential restriction.

With an intransitive verbobjects and complements are included in the predicate. Expressiveness and tractability in knowledge representation and reasoning Hector J. Brachman Computational Intelligence attributivr With a transitive verbobjects and object complements are said to be part of the predicate.


These are some of the most popular:. This is done by using a recursive definition similar to the syntax.

In general, an object corresponds to a possible worlda concept corresponds to a modal proposition, and a role-bounded quantifier to a modal operator with that role as its accessibility relation. The subject names the “do-er” or “be-er” of the sentence; the predicate does the rest of the work.

The secondary reason is that the distinction can make sense from the knowledge base modeler’s perspective.

Attributive Concept Descriptions with Complements – Semantic Scholar

From Wikipedia, the free encyclopedia. It gave the villagers a lot of problems. The semantics of description logics are defined by interpreting concepts as sets of individuals and roles as sets of ordered pairs of individuals. By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy PolicyTerms of Serviceand Dataset License. Subsumption architecture Schmidt decomposition. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain known as terminological knowledge.


Adjective complements are also called predicate adjectives ; noun complements are also called predicate nouns or predicate nominatives. Foundations of Semantic Web Technologies. An ontology infrastructure for the Semantic Web”.

See predicatesabove. The instructor gave his students A’s. Atomic negation negation of concept names that do not appear on the left-hand side of axioms Concept intersection Universal restrictions Limited existential quantification.

Computer architecture Embedded system Real-time computing Dependability. Not having UNA means that two concepts with different names may be allowed by some inference to be shown to be equivalent.

Complement complexity Artificial intelligence. A simple predicate consists of only a verb, verb string, or compound verb:. World Wide Wed Consortium. Thus, it is useful to have a way to talk about that specific part of the knowledge base. The complexity of existential quantification in terminological reasoning.

The following definitions follow the treatment in Baader et al.