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: Doulabar Shaktimuro
Country: Trinidad & Tobago
Language: English (Spanish)
Genre: Automotive
Published (Last): 15 April 2014
Pages: 372
PDF File Size: 11.7 Mb
ePub File Size: 13.35 Mb
ISBN: 693-7-63452-514-7
Downloads: 69882
Price: Free* [*Free Regsitration Required]
Uploader: Sharamar

A simple predicate consists of only a verb, verb string, or compound verb:. By using this site, you agree to the Terms of Use and Privacy Policy. Cryptography Formal methods Security services Intrusion detection system Hardware security Network security Information security Application security. With an intransitive verbobjects and complements are included in the predicate.

Every employee is a person. Brachman and Schmolze, They named their daughter Natasha. Subsumption architecture Schmidt decomposition. Morton,” and learn all about subjects and simple predicates from Scholastic Rock.

Predicates, Objects, Complements

Description logic was atrributive its current name in the s. The participle “excited” complements the object “children. Optimisation of tableau-based reasoning systems for expressive description logics Andreas Steigmiller That garbage on the street smells bad.

In that sentence, “daughter” is the direct object and “Natasha” is the object complement, which renames or describes the direct object. The following definitions follow the treatment in Baader et al. Expressiveness and tractability in knowledge representation and reasoning Complimenfs J.

The secondary reason is that the distinction can make sense from the knowledge base modeler’s perspective. Operations on roles such as composition, inversion, etc. An object complement follows and modifies or refers to a direct object.


Managing Vagueness in Ontologies Fernando Ortega The glacier began comcept slip down the mountainside and eventually crushed some of the village’s outlying buildings. Atomic negation negation of concept names that do not appear on the left-hand side of axioms Concept intersection Universal restrictions Limited existential quantification.

Natural language processing Knowledge representation and reasoning Computer vision Automated planning and scheduling Search methodology Control method Philosophy of artificial intelligence Distributed artificial intelligence. Semantic analytics Semantic broker Semantic computing Semantic mapper Semantic matching Semantic publishing Semantic reasoner Semantic search Semantic service-oriented architecture Semantic wiki.

There are general, spatial, temporal, spatiotemporal, and fuzzy descriptions logics, and each descirptions logic features a different balance between DL expressivity and reasoning complexity by supporting different sets of mathematical constructors. The instructor gave his students A’s.

Complement complexity Artificial intelligence. Granny left Raoul all her money. Skip to search form Skip to main content. Showing of 16 references. The semantics of non-atomic concepts and roles is then defined in terms of atomic concepts and roles. Knowledge representation languages Non-classical logic Information science Artificial intelligence.

Attributive Concept Descriptions with Complements – Semantic Scholar

So why was the distinction introduced? Interpreter Middleware Attributive machine Operating system Software quality. Previous to this it was called chronologically: A subject complement follows rescriptions linking verb ; it is normally an adjective or a noun that renames or defines in some way the subject. There are two features of description logic that are not shared by most other data description formalisms: Algorithm design Analysis of algorithms Algorithmic efficiency Randomized algorithm Computational geometry.


This glacier is not yet fully formed. Description Logics in Multimedia Reasoning.

Attributive Concept Descriptions with Complements

Citations Publications citing this paper. 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 descfiptions problems see Description Logic Complexity Navigator for examples. A predicate adjective follows a linking verb and tells us something about the subject: Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation.

This is done by using a recursive definition similar to the syntax. Attributve are used in artificial intelligence to describe and reason about the relevant concepts of an application domain known as terminological knowledge.

The glacier has been melting. For example, a reasoner might process the TBox and ABox separately, in part because certain key inference problems are tied to one but not the other one ‘classification’ is related to the TBox, ‘instance checking’ to the ABox.

Description logic

The mayor doesn’t feel good. Bob is an employee. An ontology infrastructure for the Semantic Web”. Programming attributive Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository.