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):||23 April 2013|
|PDF File Size:||19.68 Mb|
|ePub File Size:||18.62 Mb|
|Price:||Free* [*Free Regsitration Required]|
The glacier has been melting. A simple predicate consists descfiptions only a verb, verb string, or compound verb:. This offers a motivation for a generalization of description logic towards dealing with imprecise and vague concepts. As you will see, the terminology describing predicates and complements can overlap and be a bit confusing. Articles with short description.
The glacier melted, broke apart, and slipped into the sea. The following definitions follow the treatment in Baader et al. The primary reason is that the separation can be useful when describing and formulating decision-procedures for various DL.
Frames and semantic networks lack formal logic-based semantics.
Those individuals are typically assumed from a given domain. Concept intersection Universal restrictions Limited existential quantification Role restriction. This glacier is not yet fully formed. Computer Science portal Logic portal Information science portal.
There are general, spatial, temporal, spatiotemporal, and fuzzy descriptions logics, and each description logic features a different balance between DL expressivity and reasoning complexity by supporting different sets of mathematical constructors. Zttributive participle “excited” complements the object “children. With an intransitive verbobjects and complements are included in the predicate.
Subsumption architecture Schmidt decomposition. In addition, some DLs have features that are not covered in FOL; this includes concrete domains such as integer or strings, which can be used as ranges for roles such as hasAge or wiith or an operator on roles for the transitive closure of that role.
That garbage on the street smells bad.
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.
For example, a reasoner might process the TBox and ABox separately, in part because certain key inference problems are tied to one but not the other one ‘classification’ is related to the TBox, ‘instance checking’ to the ABox.
Interpreter Middleware Virtual machine Operating system Software quality. Description logics DL are a family of formal knowledge representation languages. Description Logics in Multimedia Reasoning. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain known as terminological knowledge.
Interaction design Social computing Ubiquitous computing Visualization Accessibility. It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: Functional properties, a special case of uniqueness quantification.
Software development process Requirements analysis Software design Software construction Software deployment Software maintenance Programming team Open-source model. 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.
Showing of 16 references.
Lisi Description Logics It gave the villagers a lot of problems. With a linking verbthe subject is connected to a subject complement.
There are two features of description logic that are not shared by most other data description formalisms: The glacier began to slip down the mountainside and eventually crushed some of the village’s outlying buildings. A predicate adjective follows a linking verb and tells us something about the subject: Discrete mathematics Probability Statistics Mathematical software Information theory Mathematical analysis Numerical analysis.
It can be a noun or adjective or any word acting as a noun or adjective. This approach featured DL with limited expressiveness but relatively efficient polynomial time reasoning. Descripttions complement notice the spelling of the word is any word or phrase that completes the sense of a subjectan objector a verb. Network architecture Network protocol Network components Network scheduler Network performance evaluation Network service.
Complements Since this page is about the completers of thoughts, it is appropriate to include a brief description of complements. Granny left Raoul all her money.
Attributive Concept Descriptions with Complements – Semantic Scholar
A description logic DL models conceptsroles wity individualsand their relationships. RoundsRobert T. Two Theses of Knowledge Representation: The following description of predicates comes from The Longman Handbook for Writers and Readers examples our own:. An ontology infrastructure for the Semantic Web”.
Topics Discussed in This Paper. In addition to the ability to describe concepts formally, one also would like to employ the description of a set of concepts descriptionns ask questions about the concepts and instances described.