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):||27 March 2011|
|PDF File Size:||12.34 Mb|
|ePub File Size:||13.95 Mb|
|Price:||Free* [*Free Regsitration Required]|
This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts.
Attributive Concept Descriptions with Complements – Semantic Scholar
Ramsay Fowler and Jane E. In general, the TBox contains sentences describing concept hierarchies i. 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. World Wide Wed Consortium. Couchworthy is acting president of the university. Many DLs are decidable fragments of first-order logic FOL  and are usually fragments of two-variable logic or guarded logic.
Lecture Notes in Computer Science. Intuitionistic logic Constructive analysis Heyting arithmetic Intuitionistic type theory Constructive set theory. Software development process Requirements analysis Software design Software construction Software deployment Software maintenance Programming team Open-source model.
They named their daughter Natasha. Brachman Computational Intelligence Skip to search form Skip to main content. Bob is an employee.
Computer architecture Embedded system Real-time computing Dependability. Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service.
A complement notice the spelling of the word is any word or phrase that completes the sense of a subjectan objector a verb. Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository.
With a linking verbthe subject is connected to a subject complement. Degree of truth Fuzzy rule Fuzzy set Fuzzy finite element Fuzzy set operations. RoundsRobert T. Direct and Indirect Objects A direct object is the receiver of action within a sentence, as in “He hit the ball. He [subject] loves his grandmother. Computer Science portal Logic portal Information science portal.
Both “money” [the direct object] and “Raoul” [the indirect object] are said to be the verb complements of this sentence. Model of computation Formal language Automata theory Computational complexity theory Logic Semantics.
Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis. An ontology infrastructure for the Semantic Web”. Thus, it is useful to have a way to talk about that specific part of the knowledge base. 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 these problems see Description Logic Complexity Navigator for examples.
A compound predicate consists of two or more such predicates connected: Atomic negation negation of concept names that do not appear on the left-hand side of axioms Concept intersection Universal restrictions Limited existential quantification. Like first-order logic FOLa syntax defines which collections of symbols are legal expressions in a description logic, and semantics determine meaning.
The convention named Dogbreath Vice President to keep him happy. The glacier began to slip down the mountainside and eventually crushed witg of the village’s outlying buildings. That garbage on the street smells bad. Citations Publications citing this paper. Jo-Bob sold me her boat.