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):||10 September 2008|
|PDF File Size:||16.41 Mb|
|ePub File Size:||4.90 Mb|
|Price:||Free* [*Free Regsitration Required]|
Showing of extracted citations. There are many varieties of description logics and there is an informal naming convention, roughly describing the operators allowed.
An ontology infrastructure for the Semantic Web”. Expressiveness and tractability in knowledge representation and reasoning Hector J. Since this page is about the completers of thoughts, it is appropriate to include a brief description of complements. Two Theses of Knowledge Representation: 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.
The following description of predicates comes from The Longman Handbook for Writers and Readers examples our own:. From the mid ’90s, reasoners were created with good practical performance on very expressive DL with high worst case complexity. Clearly, a sentence of this form is not privileged or special over sentences in which only constants “grounded” values appear like 2. Natural language processing Knowledge representation and reasoning Computer vision Automated planning and scheduling Search methodology Control method Philosophy of artificial intelligence Distributed artificial intelligence.
A glacier is a huge body of ice. Ramsay Fowler and Jane E.
Attributive Concept Descriptions with Complements
Not having UNA means that two concepts with different names may be allowed by some inference to be shown to be equivalent.
The secondary reason is that the distinction can make sense from the knowledge base descriphions perspective. There are two features of description logic that are not shared by most other data description formalisms: This glacier is not yet fully formed. In general, an object corresponds to a possible worlda concept corresponds to a modal proposition, and a role-bounded quantifier to a modal operator with that role as its accessibility relation.
Attributive Concept Descriptions with Complements – Semantic Scholar
The direct object and indirect object are different people or places or things. 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.
A subject complement follows a linking verb ; it is normally an adjective or a noun comlpiments renames or defines in some way the subject. 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. In that sentence, “daughter” is the direct object and “Natasha” is the object complement, which renames or describes the direct object.
The participle “excited” complements the object “children. A predicate is the completer of a sentence. A predicate nominative follows a linking verb and tells us what the subject is: Grandfather left Rosalita and Raoul all his money. Description logic was given its current name in the s. Frames and semantic networks lack formal logic-based semantics.
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.
We investigate the consequences of adding unions and complements to attributive concept descriptions employed in terminological knowledge representation languages. Brachman and Schmolze, This paper has highly influenced other papers.
The primary reason is that the atttributive can be useful when describing and formulating decision-procedures for various DL. Many DLs are more expressive than propositional logic but less expressive than first-order logic.
The semantics of non-atomic concepts and roles is then defined in terms of atomic concepts and roles. Major fields of computer science. See predicatesabove. The description logic community uses different terminology than the first-order logic FOL community for operationally equivalent notions; some examples are given below.
Jo-Bob sold me her boat. Adjective complements are also called predicate adjectives ; noun complements are compilments called predicate nouns or predicate nominatives.
Temporal description logic represents—and allows reasoning about—time dependent concepts and many different approaches to this problem exist.