Academic literature on the topic 'Description logics with spatial operators'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Description logics with spatial operators.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Description logics with spatial operators"
Schoop, D., and J. Bernauer. "Formal Classification of Medical Concept Descriptions: Graph-Oriented Operators." Methods of Information in Medicine 37, no. 04/05 (October 1998): 510–17. http://dx.doi.org/10.1055/s-0038-1634546.
Full textNascimento, Maikon, Jing Li, and Dileepan Joseph. "Efficient Pipelined Circuits for Histogram-based Tone Mapping of Nonlinear CMOS Image Sensors." Journal of Imaging Science and Technology 65, no. 4 (July 1, 2021): 40503–1. http://dx.doi.org/10.2352/j.imagingsci.technol.2021.65.4.040503.
Full textLehmann, Jens, and Pascal Hitzler. "Concept learning in description logics using refinement operators." Machine Learning 78, no. 1-2 (September 16, 2009): 203–50. http://dx.doi.org/10.1007/s10994-009-5146-2.
Full textKamide, Norihiro. "Linear and affine logics with temporal, spatial and epistemic operators." Theoretical Computer Science 353, no. 1-3 (March 2006): 165–207. http://dx.doi.org/10.1016/j.tcs.2005.10.043.
Full textFanizzi, Nicola. "Concept Induction in Description Logics Using Information-Theoretic Heuristics." International Journal on Semantic Web and Information Systems 7, no. 2 (April 2011): 23–44. http://dx.doi.org/10.4018/jswis.2011040102.
Full textKlarman, Szymon, and Víctor Gutiérrez-Basulto. "Two-Dimensional Description Logics for Context-Based Semantic Interoperability." Proceedings of the AAAI Conference on Artificial Intelligence 25, no. 1 (August 4, 2011): 215–20. http://dx.doi.org/10.1609/aaai.v25i1.7854.
Full textRoussey, Catherine, François Pinet, and Michel Schneider. "Representations of Topological Relations Between Simple Regions in Description Logics." International Journal of Agricultural and Environmental Information Systems 4, no. 2 (April 2013): 50–69. http://dx.doi.org/10.4018/jaeis.2013040105.
Full textWang, Zhe, Kewen Wang, and Rodney Topor. "A New Approach to Knowledge Base Revision in DL-Lite." Proceedings of the AAAI Conference on Artificial Intelligence 24, no. 1 (July 3, 2010): 369–74. http://dx.doi.org/10.1609/aaai.v24i1.7593.
Full textGnatenko, Anton Romanovich, and Vladimir Anatolyevich Zakharov. "On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic." Modeling and Analysis of Information Systems 28, no. 4 (December 18, 2021): 356–71. http://dx.doi.org/10.18255/1818-1015-2021-4-356-371.
Full textZhou, Jianlong, Ivan Lee, Bruce Thomas, Roland Menassa, Anthony Farrant, and Andrew Sansome. "In-Situ Support for Automotive Manufacturing Using Spatial Augmented Reality." International Journal of Virtual Reality 11, no. 1 (January 1, 2012): 33–41. http://dx.doi.org/10.20870/ijvr.2012.11.1.2835.
Full textDissertations / Theses on the topic "Description logics with spatial operators"
GABRIELLI, Nicoletta. "Investigation of the tradeoff between expressiveness and complexity in description logics with spatial operators." Doctoral thesis, Università degli Studi di Verona, 2009. http://hdl.handle.net/11562/337448.
Full textDescription Logics are a family of expressive Knowledge-Representation formalisms that have been deeply investigated. Nevertheless the few examples of DLs with spatial operators in the current literature are defined to include only the spatial reasoning capabilities corresponding to the Region Connection Calculus. In my thesis I consider all the most important Qualitative Spatial Reasoning formalisms for mereological, mereo-topological and directional information and investigate some general hybridization techniques. I will present a short overview of the main formalisms of Qualitative Spatial Reasoning and the principal families of DLs. I introduce the hybridization techniques to extend DLs to QSR and present the expressiveness of the resulting hybrid languages. I also present a general paradecidability result for undecidable languages equipped with composition-based role axioms and the tradeoff analysis of expressiveness and computational properties for the spatial DLs.
Lehmann, Jens. "Learning OWL Class Expressions." Doctoral thesis, Universitätsbibliothek Leipzig, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-38351.
Full textWolter, Frank, and Michael Zakharyaschev. "On the Decidability of Description Logics with Modal Operators." 1998. https://ul.qucosa.de/id/qucosa%3A31937.
Full textBook chapters on the topic "Description logics with spatial operators"
Sánchez-Ruiz, Antonio A., Santiago Ontañón, Pedro Antonio González-Calero, and Enric Plaza. "Measuring Similarity in Description Logics Using Refinement Operators." In Case-Based Reasoning Research and Development, 289–303. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23291-6_22.
Full textFanizzi, Nicola. "Concept Induction in Description Logics Using Information-Theoretic Heuristics." In Semantic Web, 97–118. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-3610-1.ch005.
Full textTennant, Neil. "The Concept of Real Number." In The Logic of Number, 241–60. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780192846679.003.0021.
Full textSikder, Iftikhar U., and Santosh K. Misra. "Agent-Based Semantic Interoperability of Geo-Services." In Methodological Advancements in Intelligent Information Technologies, 110–27. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-970-0.ch007.
Full textPuls, Stephan, and Heinz Wörn. "Seamless Interfacing." In Emerging Research and Trends in Interactivity and the Human-Computer Interface, 144–59. IGI Global, 2014. http://dx.doi.org/10.4018/978-1-4666-4623-0.ch007.
Full textFanizzi, Nicola, Claudia d’Amato, and Floriana Esposito. "Evolutionary Conceptual Clustering Based on Induced Pseudo-Metrics." In Advances in Semantic Web and Information Systems, 257–80. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-992-2.ch012.
Full textPlerou, Antonia, and Panayiotis Vlamos. "Evaluation of Mathematical Cognitive Functions with the Use of EEG Brain Imaging." In Advances in Multimedia and Interactive Technologies, 284–306. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-8659-5.ch014.
Full textConference papers on the topic "Description logics with spatial operators"
Straccia, Umberto. "Towards spatial reasoning in fuzzy description logics." In 2009 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2009. http://dx.doi.org/10.1109/fuzzy.2009.5277056.
Full textGutiérrez-Basulto, Víctor, and Jean Christoph Jung. "Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/149.
Full textFortin, Marie, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, and Michael Zakharyaschev. "Unique Characterisability and Learnability of Temporal Instance Queries." In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/17.
Full textKrasaki, Eirini. "Design as semiosis: A design mechanism for place branding." In International Conference on the 4th Game Set and Match (GSM4Q-2019). Qatar University Press, 2019. http://dx.doi.org/10.29117/gsm4q.2019.0035.
Full textCasasent, David, and Abhijit Mahalanobis. "Rule-Based, Probabilistic, Symbolic Target Classification by Object Segmentation." In Optical Computing. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/optcomp.1987.tub3.
Full textFei, Dingzhou. "The Framing Problem for Visual Representation Modules in Neuro-Symbolism Paradigm for Artificial Intelligence." In Human Interaction and Emerging Technologies (IHIET-AI 2022) Artificial Intelligence and Future Applications. AHFE International, 2022. http://dx.doi.org/10.54941/ahfe100890.
Full textCerjan, Charles. "Numerical methods for solving one-dimensional model atoms in intense laser fields." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.fu2.
Full textSchaposnik, Viviana, Cecilia Giusso, and Andrea Ulacia. "Autopistas y situaciones intersticiales urbanas: el valor del análisis-diagnóstico previo como instrumento de gestión e intervención." In International Conference Virtual City and Territory. Barcelona: Centre de Política de Sòl i Valoracions, 2009. http://dx.doi.org/10.5821/ctv.7567.
Full textReports on the topic "Description logics with spatial operators"
Lutz, Carsten. TheComplexity of Reasoning with Concrete Domains (Revised Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.88.
Full textLutz, Carsten, and Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Full textBaader, Franz, Silvio Ghilardi, and Carsten Lutz. LTL over Description Logic Axioms. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.164.
Full textBorgwardt, Stefan, Marcel Lippmann, and Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Full textBorgwardt, Stefan, and Veronika Thost. Temporal Query Answering in DL-Lite with Negation. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.221.
Full textBaader, Franz, Patrick Koopmann, and Anni-Yasmin Turhan. Using Ontologies to Query Probabilistic Numerical Data (Extended Version). Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.235.
Full textHorrocks, Ian, Ulrike Sattler, and Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.94.
Full text