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: Goltisar Shaktizilkree
Country: Germany
Language: English (Spanish)
Genre: Science
Published (Last): 22 August 2004
Pages: 312
PDF File Size: 5.90 Mb
ePub File Size: 16.29 Mb
ISBN: 480-2-21963-935-7
Downloads: 33423
Price: Free* [*Free Regsitration Required]
Uploader: Febei

Description logic – Wikipedia

It gave the villagers a lot of problems. It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: With a transitive verbobjects and object complements are said to be part of the predicate. In the early ’90s, the introduction of a new tableau based algorithm paradigm allowed efficient reasoning on more expressive DL. Database management system Information storage systems Enterprise information system Social information systems Geographic information system Decision support system Process control system Multimedia information system Data mining Digital library Computing platform Digital marketing World Wide Web Information retrieval.

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. Showing of 16 references. 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.

In English, nouns and their accompanying modifiers articles and adjectives do not change form when they are used as complimenrs or indirect objects, as they do in many other descriptiojs. Grandfather left Rosalita and Raoul all his money. Natural language processing Knowledge representation attriibutive reasoning Computer vision Automated planning and scheduling Search methodology Control method Philosophy of artificial intelligence Distributed artificial intelligence.


Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation. Like first-order logic FOLa syntax defines which collections of symbols are legal expressions in a description logic, and semantics determine meaning. Complements Since this page is about the completers of thoughts, it is appropriate to include a brief description of complements. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain known as terminological knowledge.

He [subject] loves his grandmother. Description logic is related to—but developed complimentz of— modal logic ML. RoundsRobert T. In the above example: Brachman Computational Intelligence The semantics of description logics are defined by interpreting concepts as sets of individuals and roles as sets of ordered pairs of individuals. The participle “excited” complements the object “children.

Morton,” and learn all about subjects and simple predicates from Scholastic Rock. From This Paper Figures, tables, and topics from this descriptiobs. The following definitions follow the treatment in Baader et al.

Attributive Concept Descriptions with Complements

A subject complement follows a linking verb ; it is foncept an adjective or a noun that renames or defines in some way the subject. Computer Science portal Logic portal Information science portal.

The subject names the “do-er” or “be-er” of the sentence; the predicate does the rest of the work. The description logic wity uses different terminology than the first-order logic FOL community for operationally equivalent notions; some examples are given below. Not having CWA, or rather having the Open world concpet OWA means that lack of knowledge of a fact does not immediately imply knowledge of the negation of a fact.


The primary reason is that the separation can be useful when describing and formulating decision-procedures for various DL.

Predicates, Objects, Complements

Direct and Indirect Objects A direct object is the receiver of action within a sentence, as in “He hit the ball. World Wide Wed Consortium. Lisi Description Logics The direct object and indirect object are different people or places or things. That garbage on the street smells bad.

There are many varieties of description logics and there is an informal naming convention, roughly describing the operators allowed.

Other constructors have no corresponding construction in FOL including restrictions on roles for example, inverse, transitivity and functionality. The mayor doesn’t feel good.

A predicate is ccompliments completer of a sentence. The semantics of non-atomic concepts and roles is then defined in terms of desrciptions concepts and roles.

An ontology infrastructure for the Semantic Web”. 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. The following description of predicates comes from The Longman Handbook for Writers and Readers examples our own:.

A compound predicate consists of two or more such predicates connected: This page was last edited on 21 Decemberat