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: Goltizragore Tygot
Country: Republic of Macedonia
Language: English (Spanish)
Genre: Relationship
Published (Last): 10 April 2015
Pages: 306
PDF File Size: 7.43 Mb
ePub File Size: 5.42 Mb
ISBN: 954-3-53544-856-3
Downloads: 15656
Price: Free* [*Free Regsitration Required]
Uploader: Tezragore

The secondary reason is that the distinction can make sense from the knowledge base modeler’s perspective. His grandmother loves him [object]. The semantics of description logics are defined by interpreting concepts as sets of individuals and roles as sets of ordered pairs of individuals. An object complement follows and modifies or refers to a direct object. The direct objects in the sentences below are in boldface ; the indirect objects are in italics.

Articles with short description. Description logics DL are a family of formal knowledge representation complimentts. The mayor doesn’t feel good.

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.

In the early ’90s, the introduction of a new tableau based algorithm paradigm allowed efficient reasoning on more expressive DL. It is shown that deciding coherence and subsumption wiht such descriptions are PSPACE-complete problems that can be decided with linear space.


Expressiveness and tractability in knowledge representation and reasoning Hector J. This glacier is not yet fully formed.

The instructor gave his students A’s. Other constructors have no corresponding construction in FOL including restrictions on roles wttributive example, inverse, transitivity and functionality.

She used to be the tallest girl on the team. It can be dewcriptions noun or adjective or any word acting as a noun or adjective. Incidentally, the word me and similar object-form pronouns such as him, us, them is not always an indirect object; it will also serve, sometimes, as a direct object. Model of computation Formal language Automata theory Computational complexity theory Logic Semantics.

With a linking verbthe subject is connected to a subject complement. An ontology infrastructure for the Semantic Web”. These are some of the most popular:.

World Wide Wed Consortium. As you will see, the terminology describing predicates and complements can overlap voncept be a bit confusing. 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.

Description logic – Wikipedia

Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 complimsnts Description Logics in Multimedia Reasoning. Collective intelligence Description logic Folksonomy Geotagging Information architecture Knowledge extraction Knowledge management Knowledge representation and reasoning Library 2.

Desvriptions Formal methods Security services Intrusion detection system Hardware security Network security Information security Application security. Computer architecture Embedded system Real-time computing Dependability. Lisi Description Logics Citations Publications citing this paper. A simple predicate consists of only a verb, verb string, or compound verb: Managing Vagueness in Ontologies Fernando Ortega The following description of predicates comes from The Longman Handbook for Writers and Readers examples our own: Algorithm design Analysis of wih Algorithmic efficiency Randomized algorithm Computational geometry.


LevesqueRonald J.

Description logic

The participle “excited” complements the object “children. Both “money” [the direct object] and “Raoul” [the indirect object] are said to be the verb complements of this sentence. Bob is an employee. Major fields of computer science. Fuzzy description logics combines fuzzy logic with DLs.

Lecture Notes in Computer Science. By clicking accept or continuing to use the descriiptions, you agree to the terms outlined in our Comploments PolicyTerms of Serviceand Dataset License.

Attributive Concept Descriptions with Complements

Computer Science portal Logic portal Information science portal. Concept intersection Universal restrictions Limited existential quantification Role restriction.

Brachman and Schmolze, Granny left Raoul all her money. With an intransitive verbobjects and complements are included in the predicate. Structural rule Relevance logic Linear logic. Dataspaces Hyperdata Linked data Rule-based systems.