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: Taunos Yozshusho
Country: Bhutan
Language: English (Spanish)
Genre: Music
Published (Last): 7 March 2005
Pages: 80
PDF File Size: 14.7 Mb
ePub File Size: 18.25 Mb
ISBN: 317-4-97358-151-5
Downloads: 64086
Price: Free* [*Free Regsitration Required]
Uploader: Nijind

It can be a noun or adjective or any word acting as a noun or adjective.

DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain known as terminological knowledge. Computer Science portal Logic portal Information science portal. In contrast to the latter, the core reasoning problems for DLs are usually decidableand efficient decision procedures have been designed and implemented for these problems.

Attributive Concept Descriptions with Complements

In English, nouns and their accompanying modifiers articles and adjectives do not change form when they are used as objects or indirect objects, as they do in many other languages.

Description logics DL are a family of formal knowledge representation languages. Brachman and Schmolze, Frame based description language, [3] allows:. Model of computation Formal language Automata theory Computational complexity theory Logic Semantics. Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository.


So why was the distinction introduced?

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.

From Wikipedia, the free encyclopedia. Enumerated classes of object value restrictions: Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation. The direct objects in the sentences below are in boldface ; the indirect objects are in italics. 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.

Degree of truth Fuzzy rule Fuzzy set Fuzzy finite cncept Fuzzy set operations. With a transitive verbobjects and object complements are said to be part of the predicate. Subsumption architecture Schmidt decomposition. Lisi Description Logics Topics Discussed in This Paper.

Managing Vagueness in Ontologies Fernando Ortega See, also, pronoun cases. Many DLs are more expressive than propositional logic but attrributive expressive than first-order logic. Not having UNA means that two concepts with different names may be allowed by some inference to be shown to be equivalent. With an intransitive verbobjects and complements are included in the predicate. Optimisation of tableau-based reasoning systems for expressive description logics Andreas Steigmiller Ramsay Fowler and Jane E.


Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service. Granny left Raoul all her money.

Description logic – Wikipedia

Bob is an employee. The complexity of existential quantification in terminological reasoning. This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts. Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory. The following description of predicates comes from The Longman Handbook for Writers and Readers examples our own:. In the early ’90s, the introduction of a new tableau based algorithm paradigm allowed efficient reasoning on more expressive DL.

Morton,” and learn all about subjects and simple predicates from Scholastic Rock. The direct object and indirect object are different people or places or things. This paper has highly influenced other papers. The convention named Dogbreath Vice President to keep him happy.

Computer architecture Embedded system Real-time computing Dependability. The participle “excited” complements the object “children. Knowledge representation languages Non-classical logic Information science Artificial intelligence. Predicates A predicate is the completer of a sentence.