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: Kizuru Dam
Country: Saudi Arabia
Language: English (Spanish)
Genre: Music
Published (Last): 15 January 2013
Pages: 47
PDF File Size: 2.14 Mb
ePub File Size: 4.65 Mb
ISBN: 948-6-89538-167-8
Downloads: 9630
Price: Free* [*Free Regsitration Required]
Uploader: Nell

There are general, spatial, temporal, spatiotemporal, and fuzzy descriptions logics, and each description logic features a different balance between DL expressivity and reasoning complexity by supporting different sets of mathematical constructors. Those individuals are typically assumed from a given domain.

Operations on roles such as composition, inversion, etc.

Attributive Concept Descriptions with Complements

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 complimnets each of these problems see Description Logic Complexity Navigator for examples. The glacier melted, broke apart, and slipped into the sea.

Since many concepts that are needed for intelligent systems lack well defined boundaries, or precisely defined criteria of membership, fuzzy logic is needed copliments deal with notions of vagueness and imprecision. A simple predicate consists of only a verb, verb string, or compound verb: It can be a noun or adjective or any word acting as a noun or adjective.

Attributive Concept Descriptions with Complements – Semantic Scholar

So why was the distinction introduced? Many DLs are more expressive than propositional logic but less expressive than first-order logic.


Concurrent computing Parallel computing Distributed computing Multithreading Multiprocessing. The convention named Dogbreath Vice President to keep him happy. Descriptilns complete predicate consists cocept the verb and all accompanying modifiers and other words that receive the action of a transitive verb or complete its meaning.

Morton,” and learn all about subjects and simple predicates from Scholastic Rock. The direct objects in the sentences below are in boldface ; the indirect objects are in italics.

Retrieved from ” https: Another example is that the complexity of the TBox can greatly affect the performance of a given decision-procedure for a certain DL, independently of the ABox. The glacier is melting.

With a transitive verbobjects and object complements are said to be part of the predicate. Enumerated classes of object value restrictions: Showing of extracted citations. Previous to this it was called chronologically: Showing of 16 references. This glacier is not yet fully formed. RoundsRobert T. Grandfather left Rosalita and Raoul all his money. Skip to search form Skip to main content. Brachman and Schmolze, The syntax of a member com;liments the description logic family is characterized by its recursive definition, in which the constructors that can be used to form concept terms are stated.

Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis. A description logic DL models conceptsroles and individualsand their relationships.

This is done by using a recursive definition similar to the syntax. E-commerce Enterprise software Computational mathematics Computational physics Computational chemistry Computational biology Computational social science Computational engineering Comppiments healthcare Digital art Electronic publishing Cyberwarfare Electronic voting Video games Word processing Operations research Educational technology Document management. Two Theses of Knowledge Representation: The following definitions follow the treatment in Baader et al.


When translated into first-order logic, a conccept axiom like 1 is simply a conditional restriction to unary predicates concepts with only variables appearing in it.

Structural rule Relevance logic Linear logic. This approach featured DL with limited expressiveness but relatively efficient polynomial time reasoning. Collective intelligence Description logic Folksonomy Geotagging Information architecture Knowledge extraction Knowledge management Knowledge representation and reasoning Library 2. The participle “excited” complements the object “children.

In the above example: As you will see, the terminology describing predicates and complements can overlap and be a bit confusing. A predicate adjective follows a linking verb and tells us something about the subject: The secondary reason is that the distinction can make sense from the knowledge base conceot perspective. This page was last edited on 21 Decemberat Complement complexity Artificial intelligence. 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.

See predicatesabove.

The subject names the “do-er” or “be-er” of the sentence; the predicate does the rest of the work. This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts. They named their daughter Natasha.