Matches in SemOpenAlex for { <https://semopenalex.org/work/W1715063826> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1715063826 abstract "In recent years a number of positive (i.e. tractability and decidability) results have been found concerning the computational complexity of Description Logics (DLs) [Buchheit et al., 1993; Donini et al., 1991; Donini et al., 1992a; Donini et al., 1992b; SchmidtSchaus and Smolka, 1991; Sebastiani and Straccia, 1991]. Unfortunately, also negative results have appeared, e.g. showing that some DLs (e.g. NIKL [Patel-Schneider, 1989] and KL-ONE [Schmidt-Schaus, 1989]) are undecidable. This work contributes to this latter literature by showing a negative result for another DL (called Mirtl) which had not been previously studied from the standpoint of computational complexity, and which is not directly related to the ones already shown undecidable; in more standard DL terminology, Mirtl is the ALEN logic plus the I operator for inverse roles and the O1 operator for singleton concepts. We have recently been investigating the use of Mirtl for modelling multimedia information retrieval (see [Meghini et al., 1993; Sebastiani, 1994]). Given the requirements imposed by this application domain, and given the well-known negative results on the computational complexity of more powerful DLs, we had deemed Mirtl the best compromise between expressivity and tractability for our purposes. Somehow encouraged by the fact that the standard reasoning problems in the related logics ALCNR [Buchheit et al., 1993], ALCO [Schaerf, 1994] and ALNI (also known as PL1) [Donini et al., 1991] are all decidable, and considering that the wellknown algorithms based on constraint propagation for reasoning on them tend to be easily customizable to a" @default.
- W1715063826 created "2016-06-24" @default.
- W1715063826 creator A5001739521 @default.
- W1715063826 creator A5056758564 @default.
- W1715063826 creator A5063975186 @default.
- W1715063826 creator A5069545386 @default.
- W1715063826 date "2000-01-01" @default.
- W1715063826 modified "2023-09-27" @default.
- W1715063826 title "Logical and Computational Properties of the Description Logic Mirtl" @default.
- W1715063826 cites W1511693845 @default.
- W1715063826 cites W1600348701 @default.
- W1715063826 cites W187485680 @default.
- W1715063826 cites W1994810381 @default.
- W1715063826 cites W2018026600 @default.
- W1715063826 cites W2033071128 @default.
- W1715063826 cites W2058054025 @default.
- W1715063826 cites W2079544076 @default.
- W1715063826 cites W2141354008 @default.
- W1715063826 cites W2145465694 @default.
- W1715063826 cites W2159436659 @default.
- W1715063826 cites W5583809 @default.
- W1715063826 cites W80737574 @default.
- W1715063826 hasPublicationYear "2000" @default.
- W1715063826 type Work @default.
- W1715063826 sameAs 1715063826 @default.
- W1715063826 citedByCount "1" @default.
- W1715063826 crossrefType "journal-article" @default.
- W1715063826 hasAuthorship W1715063826A5001739521 @default.
- W1715063826 hasAuthorship W1715063826A5056758564 @default.
- W1715063826 hasAuthorship W1715063826A5063975186 @default.
- W1715063826 hasAuthorship W1715063826A5069545386 @default.
- W1715063826 hasConcept C102993220 @default.
- W1715063826 hasConcept C104317684 @default.
- W1715063826 hasConcept C11413529 @default.
- W1715063826 hasConcept C118615104 @default.
- W1715063826 hasConcept C144237770 @default.
- W1715063826 hasConcept C153269930 @default.
- W1715063826 hasConcept C158448853 @default.
- W1715063826 hasConcept C17020691 @default.
- W1715063826 hasConcept C179799912 @default.
- W1715063826 hasConcept C185592680 @default.
- W1715063826 hasConcept C192034797 @default.
- W1715063826 hasConcept C2776235265 @default.
- W1715063826 hasConcept C33923547 @default.
- W1715063826 hasConcept C41008148 @default.
- W1715063826 hasConcept C55493867 @default.
- W1715063826 hasConcept C80444323 @default.
- W1715063826 hasConcept C86339819 @default.
- W1715063826 hasConceptScore W1715063826C102993220 @default.
- W1715063826 hasConceptScore W1715063826C104317684 @default.
- W1715063826 hasConceptScore W1715063826C11413529 @default.
- W1715063826 hasConceptScore W1715063826C118615104 @default.
- W1715063826 hasConceptScore W1715063826C144237770 @default.
- W1715063826 hasConceptScore W1715063826C153269930 @default.
- W1715063826 hasConceptScore W1715063826C158448853 @default.
- W1715063826 hasConceptScore W1715063826C17020691 @default.
- W1715063826 hasConceptScore W1715063826C179799912 @default.
- W1715063826 hasConceptScore W1715063826C185592680 @default.
- W1715063826 hasConceptScore W1715063826C192034797 @default.
- W1715063826 hasConceptScore W1715063826C2776235265 @default.
- W1715063826 hasConceptScore W1715063826C33923547 @default.
- W1715063826 hasConceptScore W1715063826C41008148 @default.
- W1715063826 hasConceptScore W1715063826C55493867 @default.
- W1715063826 hasConceptScore W1715063826C80444323 @default.
- W1715063826 hasConceptScore W1715063826C86339819 @default.
- W1715063826 hasLocation W17150638261 @default.
- W1715063826 hasOpenAccess W1715063826 @default.
- W1715063826 hasPrimaryLocation W17150638261 @default.
- W1715063826 hasRelatedWork W104161147 @default.
- W1715063826 hasRelatedWork W111204663 @default.
- W1715063826 hasRelatedWork W1528237133 @default.
- W1715063826 hasRelatedWork W1691023065 @default.
- W1715063826 hasRelatedWork W189798089 @default.
- W1715063826 hasRelatedWork W195775461 @default.
- W1715063826 hasRelatedWork W2049277024 @default.
- W1715063826 hasRelatedWork W2105505307 @default.
- W1715063826 hasRelatedWork W2170976417 @default.
- W1715063826 hasRelatedWork W2613838941 @default.
- W1715063826 hasRelatedWork W2895661528 @default.
- W1715063826 hasRelatedWork W2163580418 @default.
- W1715063826 hasRelatedWork W297854204 @default.
- W1715063826 hasRelatedWork W77099220 @default.
- W1715063826 isParatext "false" @default.
- W1715063826 isRetracted "false" @default.
- W1715063826 magId "1715063826" @default.
- W1715063826 workType "article" @default.