OUP, England ()  Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with compliments. AI 48(1), 1–26 ()  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.
|Published (Last):||20 September 2007|
|PDF File Size:||17.24 Mb|
|ePub File Size:||6.31 Mb|
|Price:||Free* [*Free Regsitration Required]|
These are some of the most popular:. The following definitions follow the treatment in Baader clncept al.
A descriptoons predicate consists of the verb and all accompanying modifiers and other words that receive the action of a transitive verb or complete its meaning. RoundsRobert T. Lisi Description Logics The primary reason is that the separation can be useful when describing and formulating decision-procedures for various DL.
The direct objects in the sentences below are in boldface ; the indirect objects are in italics. Description logic is related to—but developed independently of— modal logic ML.
Description logic – Wikipedia
The glacier melted, broke apart, and slipped into the sea. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 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 glacier is melting.
With a linking verbthe subject is connected to a subject complement. Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service.
It can be a noun or adjective or any word acting as a noun or adjective. With an intransitive verbobjects and complements are included in the predicate.
Complement complexity Search for additional papers on this topic. Skip to search form Skip to main content. An ontology infrastructure for the Semantic Web”. A simple predicate consists of only a verb, verb conceot, or compound verb: 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. Discrete mathematics Probability Statistics Mathematical software Information descriptionw Mathematical analysis Numerical analysis.
The semantics of description logics are defined by interpreting concepts as sets of individuals and dwscriptions as sets of ordered pairs of individuals. A atributive notice the spelling of the word is any word or phrase that completes the sense of a subjectan objector a verb. A predicate adjective follows a linking verb and tells us something about the subject: Showing of 16 references.
When translated into first-order logic, a subsumption axiom like 1 is simply a conditional restriction to unary predicates concepts with only variables appearing in it. Concept intersection Existential restrictions of full existential quantification. The noun “Vice President” complements the direct object “Dogbreath”; the adjective “happy” complements the object “him.
From This Paper Figures, tables, and conncept from this paper. His grandmother loves him [object]. The secondary reason is that the distinction can make sense from the knowledge base modeler’s perspective.
Temporal description logic represents—and allows reasoning about—time dependent concepts and many different approaches to this problem exist. Attriburive logic was given its current name in the s. Optimisation of tableau-based reasoning systems for expressive description logics Andreas Steigmiller This paper has highly influenced other papers.
Grandfather left Rosalita and Raoul all his money.
Computer Science portal Logic portal Information science portal. Collective intelligence Description logic Folksonomy Geotagging Information architecture Knowledge extraction Knowledge management Knowledge representation and reasoning Library 2.
Major fields of computer science.
Predicates, Objects, Complements
With a transitive verbobjects and object complements are said to be part of the predicate. Many DLs are decidable fragments of first-order logic FOL  and are usually fragments of two-variable logic or cmopliments logic. Subsumption architecture Schmidt decomposition. Interpreter Middleware Virtual machine Operating system Software quality. The mayor doesn’t feel good.
Attributive Concept Descriptions with Complements
Not having CWA, or rather having the Open world assumption OWA means that lack of knowledge of a fact does not immediately imply knowledge of the negation of a fact. See, also, pronoun cases.
The instructor gave his students A’s. Software development process Requirements analysis Software design Software construction Software deployment Software maintenance Programming team Open-source model. See predicatesabove. The indirect object identifies to or for whom or what the action of the verb is performed. Showing of extracted citations. Expressiveness and tractability in knowledge representation and reasoning Hector J.
Fuzzy description logics combines fuzzy logic with DLs. Dataspaces Hyperdata Linked data Rule-based systems. She used to be the tallest girl on the team.
Topics Discussed in This Paper.