{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:06Z","timestamp":1747546926478},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_8","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:50:39Z","timestamp":1192902639000},"page":"86-97","source":"Crossref","is-referenced-by-count":57,"title":["P-$$ \\mathcal{S}\\mathcal{H}\\mathcal{O}\\mathcal{Q} $$(D): A Probabilistic Extension of $$ \\mathcal{S}\\mathcal{H}\\mathcal{O}\\mathcal{Q} $$(D) for Probabilistic Ontologies in the Semantic Web"],"prefix":"10.1007","author":[{"given":"Rosalba","family":"Giugno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Lukasiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"S. Amarger, D. Dubois, and H. Prade. Constraint propagation with imprecise conditional probabilities. In Proceedings UAI-91, pages 26\u201334, 1991.","DOI":"10.1016\/B978-1-55860-203-8.50007-3"},{"key":"8_CR2","volume-title":"Weaving the Web","author":"T. Berners-Lee","year":"1999","unstructured":"T. Berners-Lee. Weaving the Web. Harper, San Francisco, 1999."},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1145\/502030.502031","volume":"26","author":"T. Eiter","year":"2001","unstructured":"T. Eiter, J. J. Lu, T. Lukasiewicz, and V. S. Subrahmanian. Probabilistic object bases. ACM Transactions on Database Systems, 26(3):264\u2013312, 2001.","journal-title":"ACM Transactions on Database Systems"},{"issue":"2\u20134","key":"8_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1023\/A:1013121110704","volume":"33","author":"T. Eiter","year":"2001","unstructured":"T. Eiter, T. Lukasiewicz, and M. Walter. A data model and algebra for probabilistic complex values. Ann. Math. Artif. Intell., 33(2\u20134):205\u2013252, 2001.","journal-title":"Ann. Math. Artif. Intell"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/5254.920598","volume":"16","author":"D. Fensel","year":"2001","unstructured":"D. Fensel, F. van Harmelen, I. Horrocks, D. L. McGuiness, and P. F. Patel-Schneider. OIL:An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 16(2):38\u201345, 2001.","journal-title":"IEEE Intelligent Systems"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0004-3702(94)90079-5","volume":"69","author":"A. M. Frisch","year":"1994","unstructured":"A. M. Frisch and P. Haddawy. Anytime deduction for probabilistic logic. Artif. Intell., 69:93\u2013122, 1994.","journal-title":"Artif. Intell"},{"key":"8_CR7","unstructured":"R. Giugno and T. Lukasiewicz. P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. Technical Report INFSYS RR-1843-02-06, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4tWien, April 2002."},{"issue":"2","key":"8_CR8","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0004-3702(91)90039-M","volume":"52","author":"M. Goldszmidt","year":"1991","unstructured":"M. Goldszmidt and J. Pearl. On the consistency of defeasible databases. Artif. Intell., 52(2):121\u2013149, 1991.","journal-title":"Artif. Intell"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"J. Heinsohn. Probabilistic description logics. In Proceedings UAI-94, pages 311\u2013318, 1994.","DOI":"10.1016\/B978-1-55860-332-5.50044-4"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/5254.895857","volume":"15","author":"J. Hendler","year":"2000","unstructured":"J. Hendler and D. L. McGuiness. The DARPA agent markup language. IEEE Intelligent Systems, 15(6):67\u201373, 2000.","journal-title":"IEEE Intelligent Systems"},{"issue":"1","key":"8_CR11","first-page":"4","volume":"25","author":"I. Horrocks","year":"2002","unstructured":"I. Horrocks. DAML+OIL: A description logic for the semantic web. IEEE Bulletin of the Technical Committee on Data Engineering, 25(1):4\u20139, 2002.","journal-title":"IEEE Bulletin of the Technical Committee on Data Engineering"},{"key":"8_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-45876-X_2","volume-title":"DAML+OIL: A reason-able web ontology language","author":"I. Horrocks","year":"2002","unstructured":"I. Horrocks. DAML+OIL: A reason-able web ontology language. In Proceedings EDBT-02, volume 2287 of LNCS, pages 2\u201313. Springer, 2002."},{"key":"8_CR13","unstructured":"I. Horrocks, D. Fensel, J. Broekstra, S. Decker, M. Erdmann, C. Goble, F. van Harmelen, M. Klein, S. Staab, R. Studer, and E. Motta. OIL: The ontology inference layer. Technical Report IR-479, Vrije Universiteit Amsterdam, 2000."},{"key":"8_CR14","unstructured":"I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. Reviewing the design ofDAML+OIL: An ontology language for the semantic web. In Proceedings AAAI-02, 2002. To appear."},{"key":"8_CR15","unstructured":"I. Horrocks and U. Sattler. Ontology reasoning in the SHOQ(D) description logic. In Proceedings IJCAI-01, pages 199\u2013204, 2001."},{"key":"8_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-48242-3_11","volume-title":"Practical reasoning for expressive description logics","author":"I. Horrocks","year":"1999","unstructured":"I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings LPAR-99, volume 1705 of LNCS, pages 161\u2013180. Springer, 1999."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"M. Jaeger. Probabilistic reasoning in terminological logics. In Proceedings KR-94, pages 305\u2013316, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"key":"8_CR18","unstructured":"D. Koller, A. Levy, and A. Pfeffer. P-CLASSIC: A tractable probabilistic description logic. In Proceedings AAAI-97, pages 390\u2013397, 1997."},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D. Lehmann","year":"1995","unstructured":"D. Lehmann. Another perspective on default reasoning. Ann. Math. Artif. Intell., 15(1):61\u201382, 1995.","journal-title":"Ann. Math. Artif. Intell"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1613\/jair.577","volume":"10","author":"T. Lukasiewicz","year":"1999","unstructured":"T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res., 10:199\u2013241, 1999.","journal-title":"J. Artif. Intell. Res"},{"key":"8_CR21","unstructured":"T. Lukasiewicz. Probabilistic logic programming under inheritance with overriding. In Proceedings UAI-01, pages 329\u2013336, 2001."},{"issue":"1\u20133","key":"8_CR22","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/A:1014445017537","volume":"34","author":"T. Lukasiewicz","year":"2002","unstructured":"T. Lukasiewicz. Probabilistic default reasoning with conditional constraints. Ann. Math. Artif. Intell., 34(1\u20133):35\u201388, 2002.","journal-title":"Ann. Math. Artif. Intell"},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. J. Nilsson","year":"1986","unstructured":"N. J. Nilsson. Probabilistic logic. Artif. Intell., 28:71\u201388, 1986.","journal-title":"Artif. Intell"},{"key":"8_CR24","unstructured":"J. Z. Pan and I. Horrocks. Semantic web ontology reasoning in the SHOQ(D n) description logic. In Proceedings DL-02, 2002."},{"key":"8_CR25","unstructured":"U. Straccia. A fuzzy description logic. In Proceedings AAAI-98, pages 594\u2013599, 1998."},{"key":"8_CR26","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"U. Straccia. Reasoning within fuzzy description logics. J. Artif. Intell. Res., 14:137\u2013166, 2001.","journal-title":"J. Artif. Intell. Res"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"C. B. Tresp and R. Molitor. Adescription logic for vague knowledge. In Proceedings ECAI-98, pages 361\u2013365, 1998.","DOI":"10.25368\/2022.77"},{"key":"8_CR28","unstructured":"J. Yen. Generalizing term subsumption languages to fuzzy logic. In Proceedings IJCAI-91, pages 472\u2013477, 1991."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T13:06:35Z","timestamp":1684069595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}