{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T18:06:51Z","timestamp":1710266811979},"reference-count":71,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-9576(06)80009-2","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T14:22:42Z","timestamp":1191507762000},"page":"115-133","source":"Crossref","is-referenced-by-count":11,"title":["Chapter 7 Uncertainty and description logic programs over lattices"],"prefix":"10.1016","author":[{"given":"Umberto","family":"Straccia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1574-9576(06)80009-2_bib1","article-title":"Reasoning in description logics using declarative logic programming","author":"Alsa\u00e7","year":"1997"},{"key":"10.1016\/S1574-9576(06)80009-2_bib2","series-title":"TheDescription Logic Handbook: Theory, Implementation, and Applications","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib3","series-title":"Modern Information Retrieval","author":"Baeza-Yates","year":"1999"},{"key":"10.1016\/S1574-9576(06)80009-2_bib4","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"5","article-title":"A useful four-valued logic","author":"Belnap","year":"1977"},{"key":"10.1016\/S1574-9576(06)80009-2_bib5","series-title":"Proceedings of the 1st Semantic Web Working Symposium (SWWS-01)","first-page":"105","article-title":"Design rationale of RuleML: a markup language for semantic web rules","author":"Boley","year":"2001"},{"key":"10.1016\/S1574-9576(06)80009-2_bib6","series-title":"WILF 2003 International Workshop on Fuzzy Logic and Applications","article-title":"Some complexity results on fuzzy description logics","volume":"vol. 2955","author":"Bonatti","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib7","series-title":"Inform. Process. Management","first-page":"15","article-title":"Query term weights as constraints in fuzzy information retrieval","author":"Bordogna","year":"1991"},{"key":"10.1016\/S1574-9576(06)80009-2_bib8","series-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04)","first-page":"252","article-title":"Sorted multi-adjoint logic programs: termination results and applications","volume":"vol. 3229","author":"Dam\u00e1sio","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib9","series-title":"Proceedings of the 6th European Conference on Artificial Intelligence (ECAI-04)","article-title":"A tabulation proof procedure for residuated logic programming","author":"Dam\u00e1sio","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib10","series-title":"The Twelfth International World Wide Web Conference (WWW-03)","article-title":"SemTag: and Seeker: bootstrapping the semantic web via automated sematic annotation","author":"Dill","year":"2003"},{"issue":"1\u20132","key":"10.1016\/S1574-9576(06)80009-2_bib11","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0004-3702(98)00009-5","article-title":"An epistemic operator for description logics","volume":"100","author":"Donini","year":"1998","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-9576(06)80009-2_bib12","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1008687430626","article-title":"AL-log: integrating datalog and description logics","volume":"10","author":"Donini","year":"1998","journal-title":"J. Intelligent Inform. Systems"},{"key":"10.1016\/S1574-9576(06)80009-2_bib13","series-title":"Proc. of the 8th Int. Conf. on Logic Programming (ICLP-91)","first-page":"581","article-title":"Towards possibilistic logic programming","author":"Dubois","year":"1991"},{"key":"10.1016\/S1574-9576(06)80009-2_bib14","series-title":"Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-04)","article-title":"Combining answer set programming with description logics for the semantic web","author":"Eiter","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib15","series-title":"Proceedings RuleML 2004 Workshop, International Semantic Web Conference","first-page":"81","article-title":"Well-founded semantics for description logic programs in the semantic web","volume":"vol. 3323","author":"Eiter","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib16","series-title":"Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR-04)","article-title":"Rules and queries with ontologies: a unified logical framework","author":"Franconi","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib17","series-title":"Emerging Topics in Computer Vision","article-title":"Content-based image retrieval: an overview","author":"Gevers","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib18","series-title":"Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02)","article-title":"P-SHOQ(D): a probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web","volume":"vol. 2424","author":"Giugno","year":"2002"},{"key":"10.1016\/S1574-9576(06)80009-2_bib19","series-title":"Proceedings of the Twelfth International Conference on World Wide Web","first-page":"48","article-title":"Description logic programs: combining logic programs with description logic","author":"Grosof","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib20","series-title":"Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence","first-page":"311","article-title":"Probabilistic description logics","author":"Heinsohn","year":"1994"},{"key":"10.1016\/S1574-9576(06)80009-2_bib21","series-title":"Principles and Practice of Semantic Web Reasoning (PPSWR-03)","first-page":"146","article-title":"Integrating description logics and answer set programming","volume":"vol. 2901","author":"Heymans","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib22","series-title":"Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04)","article-title":"The subsumption problem of the fuzzy description logic ALCFH","author":"H\u00f6lldobler","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib23","series-title":"10th Annual Conference on Uncertainty in Artificial Intelligence","first-page":"327","article-title":"An alternative proof method for possibilistic logic and its application to terminological logics","author":"Hollunder","year":"1994"},{"key":"10.1016\/S1574-9576(06)80009-2_bib24","series-title":"Proceedings of the 12th International Conference on World Wide Web","first-page":"39","article-title":"Three theses of representation in the semantic web","author":"Horrocks","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib25","series-title":"Proc. of the Thirteenth International World Wide Web Conference (WWW-04)","article-title":"A proposal for an OWL rules language","author":"Horrocks","year":"2004"},{"issue":"1","key":"10.1016\/S1574-9576(06)80009-2_bib26","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","article-title":"From SHIQ and RDF to OWL: the making of a web ontology language","volume":"1","author":"Horrocks","year":"2003","journal-title":"J. Web Semantics"},{"key":"10.1016\/S1574-9576(06)80009-2_bib27","series-title":"Proceedings of the 6th European Conference on Artificial Intelligence (ECAI-04)","article-title":"Reasoning in description logics with a concrete domain in the framework of resolution","author":"Hustadt","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib28","series-title":"Proceedings of KR-94, 5-th International Conference on Principles of Knowledge Representation and Reasoning","first-page":"305","article-title":"Probabilistic reasoning in terminological logics","author":"J\u00e4ger","year":"1994"},{"issue":"5","key":"10.1016\/S1574-9576(06)80009-2_bib29","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1002\/(SICI)1097-4571(198609)37:5<341::AID-ASI9>3.0.CO;2-A","article-title":"The use of fuzzy set theory in information retrieval and databases: a survey","volume":"37","author":"Kerre","year":"1986","journal-title":"J. Amer. Soc. Inform. Sci."},{"issue":"4","key":"10.1016\/S1574-9576(06)80009-2_bib30","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","article-title":"Logical foundations of object-oriented and frame-based languages","volume":"42","author":"Kifer","year":"1995","journal-title":"J. ACM"},{"key":"10.1016\/S1574-9576(06)80009-2_bib31","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of generalized annotated logic programming and its applications","volume":"12","author":"Kifer","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/S1574-9576(06)80009-2_bib32","series-title":"Proc. of the 14th Nat. Conf. on Artificial Intelligence (AAAI-97)","first-page":"390","article-title":"P-CLASSIC: a tractable probabilistic description logic","author":"Koller","year":"1997"},{"key":"10.1016\/S1574-9576(06)80009-2_bib33","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/S0020-7373(83)80041-8","article-title":"Fuzzy sets and generalised Boolean retrieval systems","volume":"19","author":"Kraft","year":"1983","journal-title":"Int. J. Man-Machine Studies"},{"key":"10.1016\/S1574-9576(06)80009-2_bib34","series-title":"IEEE Trans. on Knowledge and Data Engineering","first-page":"554","article-title":"A parametric approach to deductive databases with uncertainty","author":"Lakshmanan","year":"2001"},{"key":"10.1016\/S1574-9576(06)80009-2_bib35","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","article-title":"Combining horn rules and description logics in CARIN","volume":"104","author":"Levy","year":"1998","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-9576(06)80009-2_bib36","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/S1574-9576(06)80009-2_bib37","series-title":"Proceedings of the VLDB International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P-03)","article-title":"A robust logical and computational characterisation of peer-to-peer database systems","author":"Lopatenko","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib38","series-title":"28th International Symposium on Mathematical Foundations of Computer Science (MFCS-2003)","first-page":"541","article-title":"The approximate well-founded semantics for logic programs with uncertainty","volume":"vol. 2747","author":"Loyer","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib39","series-title":"Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98)","first-page":"388","article-title":"Probabilistic logic programming","author":"Lukasiewicz","year":"1998"},{"key":"10.1016\/S1574-9576(06)80009-2_bib40","series-title":"Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003","article-title":"A tableau algorithm for reasoning about concepts and similarity","volume":"vol. 2796","author":"Lutz","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib41","first-page":"225","article-title":"Quantitative disjunctive logic programming: semantics and computation","volume":"13","author":"Mateis","year":"2000","journal-title":"AI Communications"},{"issue":"5","key":"10.1016\/S1574-9576(06)80009-2_bib42","doi-asserted-by":"crossref","first-page":"909","DOI":"10.1145\/502102.502103","article-title":"A model of multimedia information retrieval","volume":"48","author":"Meghini","year":"2001","journal-title":"J. ACM"},{"key":"10.1016\/S1574-9576(06)80009-2_bib43","series-title":"Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-04)","article-title":"Reducing SHIQ\u2212 description logic to disjunctive datalog programs","author":"Motik","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib44","series-title":"Proceedings of the International Semantic Web Conference","first-page":"549","article-title":"Query answering for OWL-DL with rules","volume":"vol. 3298","author":"Motik","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib45","series-title":"10th International Workshop on Knowledge Representation meets Databases (KRDB-03)","first-page":"39","article-title":"Optimizing query answering in description logics using disjunctive deductive databases","author":"Motik","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib46","series-title":"Reasoning and Revision in Hybrid Representation Systems","author":"Nebel","year":"1990"},{"key":"10.1016\/S1574-9576(06)80009-2_bib47","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/S0020-7373(76)80032-6","article-title":"On fuzziness in information retrieval","volume":"8","author":"Negoita","year":"1976","journal-title":"Int. J. Man-Machine Studies"},{"issue":"2","key":"10.1016\/S1574-9576(06)80009-2_bib48","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","article-title":"Probabilistic logic programming","volume":"101","author":"Ng","year":"1993","journal-title":"Inform. and Comput."},{"key":"10.1016\/S1574-9576(06)80009-2_bib49","article-title":"Specification of coordination of rule and ontology languages","author":"Pan","year":"2004","journal-title":"Technical Report, Knowledgeweb Network of Excellence, EU-IST-2004-507482"},{"key":"10.1016\/S1574-9576(06)80009-2_bib50","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(89)90036-2","article-title":"A four-valued semantics for terminological logics","volume":"38","author":"Patel-Schneider","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-9576(06)80009-2_bib51","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(94)00092-1","article-title":"On the hardness of approximate reasoning","volume":"82","author":"Roth","year":"1996","journal-title":"Artificial Intelligence J."},{"key":"10.1016\/S1574-9576(06)80009-2_bib52","series-title":"Proceedings 8th Fuzzy Days in Dortmund","article-title":"Generalizing quantification in fuzzy description logics","author":"S\u00e1nchez","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib53","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u00df","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-9576(06)80009-2_bib54","series-title":"Proceedings of SIGIR-94, 17th ACM International Conference on Research and Development in Information Retrieval","first-page":"122","article-title":"A probabilistic terminological logic for modelling information retrieval","author":"Sebastiani","year":"1994"},{"key":"10.1016\/S1574-9576(06)80009-2_bib55","series-title":"Proc. of the Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX-97)","first-page":"343","article-title":"A sequent calculus for reasoning in four-valued description logics","volume":"vol. 1227","author":"Straccia","year":"1997"},{"key":"10.1016\/S1574-9576(06)80009-2_bib56","series-title":"Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI-98)","first-page":"594","article-title":"A fuzzy description logic","author":"Straccia","year":"1998"},{"key":"10.1016\/S1574-9576(06)80009-2_bib57","series-title":"Soft Computing in Information Retrieval: Techniques and Applications","first-page":"332","article-title":"A framework for the retrieval of multimedia objects based on four-valued fuzzy description logics","author":"Straccia","year":"2000"},{"key":"10.1016\/S1574-9576(06)80009-2_bib58","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","article-title":"Reasoning within fuzzy description logics","volume":"14","author":"Straccia","year":"2001","journal-title":"J. Artificial Intelligence Research"},{"key":"10.1016\/S1574-9576(06)80009-2_bib59","article-title":"Towards a fuzzy description logic for the semantic web","author":"Straccia","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib60","series-title":"Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-04)","first-page":"385","article-title":"Transforming fuzzy description logics into classical description logics","volume":"vol. 3229","author":"Straccia","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib61","article-title":"Uncertainty in description logic programs","author":"Straccia","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib62","series-title":"Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-04)","first-page":"251","article-title":"Uncertainty in description logics: a lattice-based approach","author":"Straccia","year":"2004"},{"key":"10.1016\/S1574-9576(06)80009-2_bib63","article-title":"Fuzzy description logics with concrete domains","author":"Straccia","year":"2005"},{"key":"10.1016\/S1574-9576(06)80009-2_bib64","series-title":"9th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-05)","article-title":"Uncertainty management in logic programming: simple and effective top-down query answering","author":"Straccia","year":"2005"},{"key":"10.1016\/S1574-9576(06)80009-2_bib65","series-title":"Proceedings of the 7th International Conference in Logic Programming and Nonmonotonic Reasoning (LPNMR-04)","first-page":"275","article-title":"Deduction in ontologies via ASP","volume":"vol. 2923","author":"Swift","year":"2004"},{"issue":"5","key":"10.1016\/S1574-9576(06)80009-2_bib66","first-page":"285","article-title":"A lattice-theoretical fixpoint theorem and its applications","author":"Tarski","year":"1995","journal-title":"Pacific J. Math."},{"key":"10.1016\/S1574-9576(06)80009-2_bib67","series-title":"Proc. of the 13th European Conf. on Artificial Intelligence (ECAI-98)","article-title":"A description logic for vague knowledge","author":"Tresp","year":"1998"},{"key":"10.1016\/S1574-9576(06)80009-2_bib68","series-title":"Proc. of the 13th Int. Conf. on Logic Programming (ICLP-97)","first-page":"346","article-title":"A strong correspondence between description logics and open logic programs","author":"van Belleghem","year":"1997"},{"key":"10.1016\/S1574-9576(06)80009-2_bib69","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","article-title":"Fuzzy logic programming","volume":"124","author":"Vojt\u00e1\u0161","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1574-9576(06)80009-2_bib70","series-title":"Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE-03)","first-page":"671","article-title":"Flora-2: a rule-based knowledge representation and inference infrastructure for the semantic web","volume":"vol. 2888","author":"Yang","year":"2003"},{"key":"10.1016\/S1574-9576(06)80009-2_bib71","series-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91)","first-page":"472","article-title":"Generalizing term subsumption languages to fuzzy logic","author":"Yen","year":"1991"}],"container-title":["Capturing Intelligence","Fuzzy Logic and the Semantic Web"],"original-title":[],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T14:41:05Z","timestamp":1556894465000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574957606800092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":71,"URL":"https:\/\/doi.org\/10.1016\/s1574-9576(06)80009-2","relation":{},"ISSN":["1574-9576"],"issn-type":[{"value":"1574-9576","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}