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):||26 April 2008|
|PDF File Size:||13.16 Mb|
|ePub File Size:||14.47 Mb|
|Price:||Free* [*Free Regsitration Required]|
A complete predicate consists of the verb and all accompanying modifiers and other words that receive the action of a transitive verb or complete its meaning. Supervised learning Unsupervised learning Reinforcement learning Multi-task learning Cross-validation.
Frames and semantic networks lack formal logic-based semantics. This page was last edited on 21 Decemberat A subject complement follows a linking verb ; it is normally an adjective or a noun that renames or defines in some way the subject.
The subject names the “do-er” or “be-er” of the sentence; the predicate does the rest of the work. The indirect object identifies to or for whom or what the action of the verb is performed.
His behavior has been outrageous. Computer architecture Embedded system Real-time computing Dependability. His grandmother loves him [object].
A simple predicate consists of only a verb, verb string, or compound verb:. Clearly, a sentence of this form is not privileged or special over sentences in which only constants “grounded” values appear like 2. Description logic was given its current name in the s.
Major fields of computer science. A complement notice the spelling of the word is any word or phrase that qttributive the sense of a subjectan objector a verb.
Attributive Concept Descriptions with Complements
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 concrpt see Description Logic Complexity Navigator for examples.
This is not true of pronounshowever, which use different forms for different functions.
A predicate nominative follows a linking verb and tells us what the subject is: The slow moving glacier wiped out an entire forest. It gave the villagers a lot of problems. This approach featured DL with limited expressiveness but relatively efficient polynomial time reasoning. It is shown that deciding coherence and subsumption of such descriptions are PSPACE-complete problems that can be decided with linear space.
Jo-Bob sold me her boat. Complements Since this page is about the completers of thoughts, it is appropriate to include a brief description of complements.
Archived from the original PDF on It can be a noun or adjective or any word acting as a noun or adjective. With a linking verbthe subject is connected to a subject complement. The direct objects in the sentences below are in boldface ; the indirect objects are in italics. 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.
Skip to search form Skip to main content.
These are some of the most popular:. The noun “Vice President” complements the direct object “Dogbreath”; the adjective “happy” complements the object concelt.
A predicate is the completer of a sentence. Other constructors have no corresponding construction in FOL including restrictions on roles for example, inverse, transitivity and functionality. Cryptography Formal methods Security services Intrusion detection system Hardware security Network security Information security Application security. Articles with short description.
Collective intelligence Description logic Folksonomy Geotagging Descripions architecture Knowledge extraction Knowledge management Knowledge representation and reasoning Library 2.
Predicates, Objects, Complements
With a transitive verbobjects and object edscriptions are said to be part of the predicate. Functional properties, a special case of uniqueness quantification. The participle “excited” complements the object “children. Programming paradigm Programming language Compiler Domain-specific language Modeling language Software framework Integrated development environment Software configuration management Software library Software repository.
Optimisation of tableau-based reasoning systems for expressive description logics Andreas Steigmiller