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: Mum Dogul
Country: Belarus
Language: English (Spanish)
Genre: Relationship
Published (Last): 19 July 2012
Pages: 442
PDF File Size: 7.3 Mb
ePub File Size: 20.37 Mb
ISBN: 598-9-45571-669-6
Downloads: 88470
Price: Free* [*Free Regsitration Required]
Uploader: Sarg

Concept intersection Universal restrictions Limited existential quantification Role restriction.

Enumerated classes of object value restrictions: 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. Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation. So why was the distinction introduced?

We investigate the consequences of adding unions and complements to attributive concept descriptions wwith in terminological knowledge representation languages. Complement complexity Search for additional papers on this topic.

Description logic

Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations. The following description of predicates comes from The Longman Handbook for Writers and Readers examples our own: A predicate is the completer of a sentence.

Archived from the original PDF on A glacier is a huge body of ice. Morton,” and learn all about subjects and simple predicates from Scholastic Rock.


Attributive Concept Descriptions with Complements

As you will see, the terminology describing predicates and complements can overlap and be a bit confusing. A simple predicate consists of only a verb, verb string, or compound verb: In general, the TBox contains sentences describing concept foncept i.

The glacier began to slip down the mountainside and eventually crushed some of the village’s outlying buildings. Collective intelligence Description logic Folksonomy Geotagging Complimentx architecture Knowledge extraction Knowledge management Knowledge representation and reasoning Library 2.

This attribbutive done by using a recursive definition similar to the syntax. Frame based description language, [3] allows:. Model of computation Formal language Automata theory Computational complexity theory Logic Semantics.

A complement notice the spelling of the word is any word or phrase that completes the sense of a subjectan objector a verb. The indirect object identifies to or for whom or what the action of the verb is performed. Fuzzy description logics combines fuzzy logic with DLs.

Deescriptions object complement follows and modifies or refers to a direct object. An ontology infrastructure for the Semantic Web”.

Predicates, Objects, Complements

Showing of 16 references. Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software attriutive. Cryptography Formal methods Security services Intrusion detection system Hardware security Network security Information security Application security.

This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts. Interpreter Middleware Virtual machine Operating system Software quality. From This Paper Figures, tables, and topics from this paper. From Wikipedia, the free encyclopedia.

  LEY 25284 PDF

There are two features of description logic that are not shared by most other data description formalisms: Expressiveness and tractability in knowledge representation and reasoning Hector J. Glaciers are beautiful and potentially dangerous at the same time.

Since many concepts that are needed for intelligent systems lack well defined boundaries, or precisely defined criteria of membership, fuzzy logic is needed to deal with notions of vagueness and imprecision. Granny left Raoul all her money. Views Read Edit View history. The descritions reason is that the separation can be useful when describing and formulating decision-procedures descrlptions various DL.

E-commerce Enterprise software Computational mathematics Computational physics Computational chemistry Computational biology Computational social science Computational engineering Computational healthcare Digital art Electronic publishing Cyberwarfare Electronic voting Video games Word processing Operations research Educational technology Document management.

Clearly, a sentence of this form is not privileged or special over sentences in which only constants “grounded” values appear like 2. A predicate nominative follows a linking verb and tells us what the subject is: