[PDF] Top 20 Concepts as Modalities in Description Logics

... Several examples in language inspire us to invent a new type of concept composition for de- scription logics (DL). Examples include a “stone lion”, a “fake gun”, “the biggest city”, which is a composition of ... See full document

... evacuates inflammatory exudate, releases the disc, breaks up adhesions, eliminates pain, and improves joint mobility; this should be performed with the mouth wide open and a protruded mandible [80, 85]. Two needles are ... See full document

... grained concepts that include departments, professors, graduate- and undergraduate- students, courses and publications, as well as a variety of simple and complex roles between ... See full document

... to concepts (entities); (2) roles can be declared flexible or rigid; (3) the ‘undirected’ temporal operators ‘always’ and ‘some time’ can be applied to roles; (4) the concept inclusions (TBox) hold at all mo- ... See full document

... Various alternative algebraic methods to the traditional tableau algorithms have been proposed (Ohlbach & Koehler, 1999; Haarslev & M¨oller, 2001; Haarslev et al., 2001; Farsiniamarj & Haarslev, 2010), ... See full document

... A DL knowledge base typically comprises two com- ponents, a “TBox” and an “ABox”. The TBox contains terminological knowledge (hence the term “TBox”) and is built through declarations (axioms) that de- scribe general ... See full document

... candidate concepts are generated and tested as to the degree to which they come close to a solution, and following some strategy the next candidate concepts are generated un- til eventually, a full solution ... See full document

... Although the complexity of full HS-Lite H horn remains un- known, in this paper we define two interesting fragments, for which instance checking is P-complete for both com- bined and data complexity. One fragment, ... See full document

... The objective of the review is to convey the recent concepts of nanoparticles and nanotechnology in diagnostic and treatment modalities in different branches of dentistry.. MATERIALS A[r] ... See full document

... Verb classes are represented as primitive (unde- fined) concepts, their class name indicates effect and expectation patterns. For instance, “helfen” (“to help”) is, among others, a a2 pos effect verb, since the ... See full document

... Second, as player 2 does not have a winning strategy in position (X, b) in the Horn simulation game if, and only if, there exists a hornALC-concept that is true at all nodes in X but not true at b, our complexity results ... See full document

... aim of the present work is to explore these possi- bilities, expressed as particular DL concepts and roles. In its account of regular languages, the B¨uchi-Elgot-Trakhtenbrot theorem says nothing about ... See full document

... grasp concepts are life, death and its relationships with injuries and ...representing concepts related to biological life cycles, preserving identity of participating individuals, ...extended ... See full document

... The Datalog ± languages bridge an apparent gap in ex- pressive power between database query languages and DLs as ontology languages, extending the well-known Data- log language in order to embed DLs. They also allow for ... See full document

... The first fragment, denoted HS-Lite H/flat horn , only allows those HS-Lite H horn TBoxes that are flat in the sense that their concept inclusions do not contain ∃R on the right-hand side. Our second fragment, denoted ... See full document

... Description Logics (DL) are a family of knowledge representation (KR) languages that represent knowledge in a problem ...the concepts found in object orientated ... See full document

... modal logics. Indeed, it turns out that modal logics preceded DLs by many decades: [18, Historical Overview] traces its roots back as far as 1918 and the field of modal logic was fully developed by the ... See full document

... (In ALCHI, distinct individuals are usually assumed to be interpreted by dis- tinct domain elements—this is called the unique name assumption, or UNA. In this chapter we follow the convention and assume the UNA for all ... See full document

... of description logics (DLs) is to supply ontology lan- guages and query answering technologies for ontology-based data access (OBDA), a way of querying in- complete data sources that uses ontologies to ... See full document

... Exact Learning of TBoxes using Concept Inclusions as Queries. First results on exact learning of description logic TBoxes using concept inclusions as queries were presented by Konev et al. (2013, 2014). This paper ... See full document