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):||22 February 2012|
|PDF File Size:||4.82 Mb|
|ePub File Size:||2.30 Mb|
|Price:||Free* [*Free Regsitration Required]|
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
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.