{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:45Z","timestamp":1725471225492},"reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387298153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-34347-1_14","type":"book-chapter","created":{"date-parts":[[2006,9,27]],"date-time":"2006-09-27T10:16:35Z","timestamp":1159352195000},"page":"205-225","source":"Crossref","is-referenced-by-count":0,"title":["Completion Rules for Uncertainty Reasoning with the Description Logic ALC"],"prefix":"10.1007","author":[{"given":"Volker","family":"Haarslev","sequence":"first","affiliation":[]},{"given":"Hsueh-Ieng","family":"Pai","sequence":"additional","affiliation":[]},{"given":"Nematollaah","family":"Shiri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF, eds (2003) The description logic handbook: theory, implementation, and applications, Cambridge University Press."},{"key":"14_CR2","unstructured":"Bacchus F (1990) Representing and reasoning with probabilistic knowledge-a logical approach to probabilities, MIT Press."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee T, Hendler J, Lassila O (2001) The semantic web. Scientific American 284(5).","DOI":"10.1038\/scientificamerican0501-34"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Giugno R, Lukasiewicz T (2002) P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. In: Proceedings of the European conference on logics in artificial intelligence, Cosenza, Italy, pp 86\u201397.","DOI":"10.1007\/3-540-45757-7_8"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber TR (1993) A translation approach to portable ontology specificati ons. Knowledge acquisition 5(2): 199\u2013220.","journal-title":"Knowledge acquisition"},{"key":"14_CR6","unstructured":"Haarslev V, Pai HI, Shiri N (2005) A generic framework for description lo gics with uncertainty. In: Proceedings of uncertainty reasoning for the semantic web, Galway, Ireland, pp 77\u201386."},{"key":"14_CR7","unstructured":"H\u00f6lldobler S, Khang TD, St\u00f6rr HP (2002) A fuzzy description logic with hedges as concept modifiers. In: Proceedings of the 3rd international conference on intelligent technologies, Science and Technics Publishing House, Hanoi, Vietnam, pp 25\u201334."},{"key":"14_CR8","first-page":"390","volume-title":"Proceedings of the 14th national conference on artifi cial intelligence","author":"D. Roller","year":"1997","unstructured":"Roller D, Levy AY, Pfeffer A (1997) P-CLASSIC: A tractable probablistic description logic. In: Proceedings of the 14th national conference on artifi cial intelligence, AAAI Press, Providence, Rhode Island, pp 390\u2013397."},{"key":"14_CR9","first-page":"254","volume-title":"Proceedings of workshop on design and implementation of parallel logic programming systems","author":"L.V.S. Lakshmanan","year":"1994","unstructured":"Lakshmanan LVS, Sadri F (1994) Probabilistic deductive databases. In: Proceedings of workshop on design and implementation of parallel logic programming systems, MIT Press, Ithaca, NY, pp 254\u2013268."},{"key":"14_CR10","first-page":"153","volume-title":"Encyclopedia of computer science and technology","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan LVS, Shiri N (2001a) Logic programming and deductive databases with uncertainty: A survey. Encyclopedia of computer science and technology, vol 45, Marcel Dekker, New York, pp 153\u2013176."},{"issue":"4","key":"14_CR11","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan LVS, Shiri N (2001b) A parametric approach to deductive databases with uncertainty. IEEE transactions on knowledge and data engineering, 13(4):554\u2013570.","journal-title":"IEEE transactions on knowledge and data engineering"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Motro A, Smets P, eds. (1997) Uncertainty management in information systems-from needs to solutions, Springer-Verlag.","DOI":"10.1007\/978-1-4615-6245-0"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/69.506705","volume":"8","author":"S. Parsons","year":"1996","unstructured":"Parsons S (1996) Current approaches to handling imperfect information in data and knowledge bases. IEEE transactions on knowledge and data engineering, 8(3):353\u2013372.","journal-title":"IEEE transactions on knowledge and data engineering"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Ross TJ, Booker JM, Parkinson WJ, eds (2002) Fuzzy logic and probability applications: bridging the gap, SIAM.","DOI":"10.1137\/1.9780898718447"},{"key":"14_CR15","volume-title":"Proceedings of the 8th Fuzzy Days","author":"D. S\u00e1nchez","year":"2004","unstructured":"S\u00e1nchez D, Tettamanzi, AGB (2004) Generalizing quantification in fuzzy description logics. In: Proceedings of the 8th Fuzzy Days, Springer-Verlag, Dortmund, Germany."},{"key":"14_CR16","first-page":"594","volume-title":"Proceedings of the 15th national conference on artificial intelligence","author":"U. Straccia","year":"1998","unstructured":"Straccia U (1998) A fuzzy description logic. In: Proceedings of the 15th national conference on artificial intelligence, AAAI Press, Menlo Park, CA, USA, pp 594\u2013599."},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia U (2001) Reasoning within fuzzy description logics. Journal of artificial intelligence research 14:137\u2013166.","journal-title":"Journal of artificial intelligence research"},{"key":"14_CR18","first-page":"361","volume-title":"Proceedings of the 13th European conference on artificial intelligence","author":"C. Tresp","year":"1998","unstructured":"Tresp C, Molitor R (1998) A description logic for vague knowledge. In: Proceedings of the 13th European conference on artificial intelligence, John Wiley and Sons, Brighton, UK, pp 361\u2013365."},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Information and control, 8:338\u2013353.","journal-title":"Information and control"},{"issue":"l","key":"14_CR20","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"l","author":"L.A. Zadeh","year":"1978","unstructured":"Zadeh LA (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems l(l):3\u201328.","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Semantic Web and Beyond","Canadian Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-34347-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:48:10Z","timestamp":1619574490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-34347-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387298153"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-34347-1_14","relation":{},"subject":[]}}