{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:33:48Z","timestamp":1742913228761,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662530412"},{"type":"electronic","value":"9783662530429"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53042-9_8","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T13:36:04Z","timestamp":1470404164000},"page":"130-146","source":"Crossref","is-referenced-by-count":2,"title":["A Modal Representation of Graded Medical Statements"],"prefix":"10.1007","author":[{"given":"Hans-Ulrich","family":"Krieger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-642-13824-9_9","volume-title":"Logic, Language, Information and Computation","author":"C Areces","year":"2010","unstructured":"Areces, C., Hoffmann, G., Denis, A.: Modal logics with counting. In: Dawar, A., de Queiroz, R. (eds.) WoLLIC 2010. LNCS, vol. 6188, pp. 98\u2013109. Springer, Heidelberg (2010)"},{"key":"8_CR2","first-page":"495","volume-title":"The Description Logic Handbook","author":"F Baader","year":"2003","unstructured":"Baader, F.: Description logic terminology. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook, pp. 495\u2013505. Cambridge University Press, Cambridge (2003)"},{"key":"8_CR3","volume-title":"Modal Logic. Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001)"},{"issue":"4","key":"8_CR4","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1305\/ndjfl\/1093890715","volume":"13","author":"K Fine","year":"1972","unstructured":"Fine, K.: In so many possible worlds. Notre Dame J. Formal Logic 13(4), 516\u2013520 (1972)","journal-title":"Notre Dame J. Formal Logic"},{"key":"8_CR5","volume-title":"Reasoning About Uncertainty","author":"JY Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)"},{"key":"8_CR6","unstructured":"Hayes, P.: RDF semantics. Technical report, W3C (2004)"},{"key":"8_CR7","unstructured":"Heinsohn, J.: ALCP - Ein hybrider Ansatz zur Modellierung von Unsicherheit in terminologischen Logiken. Ph.D. thesis, Universit\u00e4t des Saarlandes, June 1993 (in German)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Jaeger, M.: Probabilistic reasoning in terminological logics. In: Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 305\u2013316 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50124-X"},{"key":"8_CR9","unstructured":"J\u00f8sang, A.: Artificial reasoning with subjective logic. In: Proceedings of the 2nd Australian Workshop on Commonsense Reasoning (1997)"},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1142\/S0218488501000831","volume":"9","author":"A J\u00f8sang","year":"2001","unstructured":"J\u00f8sang, A.: A logic for uncertain probabilities. Int. J. Uncertainty, Fuzzyness Knowl. Based Syst. 9(3), 279\u2013311 (2001)","journal-title":"Int. J. Uncertainty, Fuzzyness Knowl. Based Syst."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Krengel, U.: Einf\u00fchrung in die Wahrscheinlichkeitstheorie und Statistik, 7th edn. Vieweg (2003) (in German)","DOI":"10.1007\/978-3-322-93581-6"},{"key":"8_CR12","unstructured":"Krieger, H.U.: A temporal extension of the Hayes\/ter Horst entailment rules and an alternative to W3C\u2019s n-ary relations. In: Proceedings of the 7th International Conference on Formal Ontology in Information Systems (FOIS), pp. 323\u2013336 (2012)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Krieger, H.U.: An efficient implementation of equivalence relations in OWL via rule and query rewriting. In: Proceedings of the 7th IEEE International Conference on Semantic Computing (ICSC), pp. 260\u2013263 (2013)","DOI":"10.1109\/ICSC.2013.51"},{"key":"8_CR14","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"key":"8_CR15","unstructured":"Schulz, S., Mart\u00ednez-Costa, C., Karlsson, D., Cornet, R., Brochhausen, M., Rector, A.: An ontological analysis of reference in health record statements. In: Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) (2014)"},{"key":"8_CR16","unstructured":"Stoilos, G., Stamou, G.B., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: uncertainty and the semantic web. In: Proceedings of the OWLED 2005 Workshop on OWL: Experiences and Directions (2005)"},{"key":"8_CR17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1613\/jair.813","volume":"14","author":"U Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. J. Artif. Intell. Res. 14, 147\u2013176 (2001)","journal-title":"J. Artif. Intell. Res."},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"HJ Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary. J. Web Seman. 3, 79\u2013115 (2005)","journal-title":"J. Web Seman."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Tresp, C.B., Molitor, R.: A description logic for vague knowledge. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI), pp. 361\u2013365 (1998)","DOI":"10.25368\/2022.77"},{"key":"8_CR20","unstructured":"Wikipedia: Modal logic \u2013 Wikipedia, The Free Encyclopedia (2015). https:\/\/en.wikipedia.org\/wiki\/Modal_logic , Accessed on 19 June 2015"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53042-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T05:53:39Z","timestamp":1657000419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53042-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662530412","9783662530429"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53042-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}