Abstract
The use of description logics (DL) formalism to represent geographical knowledge has received a lot of attention recently. Nevertheless, classical DLs are not suitable to represent incomplete and uncertain knowledge, which represent several situations in geographic domain. In addition they cannot represent the spatio-temporal information usually present in geographical application. In this paper, we propose a possibilistic extension of the very expressive Description Logic \(\mathcal{SROIQ(D)}\), the basis of the language OWL2, called \(\mathcal{P}\)oss-\(\mathcal{SROIQ(D)}\), as a solution to handling uncertainty and for dealing with inconsistency in geographical applications. Both syntax and semantics of \(\mathcal{P}\)oss-\(\mathcal{SROIQ(D)}\) are considered. Illustrative examples are given.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Bobillo, F., Straccia, U.: Reasoning with the finitely many-valued Lukasiewicz fuzzy Description Logic SROIQ. Information Sciences (2011)
Bouchon-Meunier, B.: Fuzzy logic and its applications. Addison-Wesley (1995)
Lutz, C.: Description Logics with Concrete Domains - A Survey. In: Advances in Modal Logics, vol. 4. Kings College Publications (2003)
Eliseo, C., Di Felice, P., van Oosterom, P.: A small set of formal topological relationships suitable for end-use interaction. In: SSD, pp. 277–295 (1993)
Cullot, N., Parent, C., Spaccapietra, S., Vangenot, C.: Des SIG aux ontologies géographiques. Revue internationale de géomatique (2003)
Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 439–513. Oxford University Press, Oxford (1994)
de Saint-Cyr, F.D., Prade, H.: Logical handling of uncertain, ontology-based, spatial information. Fuzzy Sets and Systems, Science Direct (2008)
Fisher, P.F.: Sources and consequences of error in spatial data. In: Int Symp on the Spatial Accuracy of Natural Resource Data Bases: Unlocking the Puzzle, pp. 8–17. ASPRS, Williamsburg, VA (1994)
Fonseca, F.T., Davis, C.A., Camara, G.: Bridging ontologies and conceptual schema’s in geographic information integration. GeoInformatica 7(4), 355–378 (2003)
Hollunder, B.: An alternative proof method for Possibilistic Logic and Its Application to terminological logics. In: Proceedings of the 10th Annual Conference on Uncertainty in Artificial Intelligence, pp. 327–335. Morgan Kaufmann, San Francisco (1994)
Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), Lake District, UK (2006)
Pai, H-I.: Uncertainty management for description logic-based ontologies, Doctoral Thesis in The Department of Computer Science and Software Engineering Concordia University Montréal, Quebec, Canada (2008)
Pfoser, D., Tryfona, N., Jensen, C.S.: Indeterminacy and Spatiotemporal Data: Basic Definitions and Case Study. GeoInformatica 9(3), 211–236 (2005)
Qi, G., Pan, J., Ji, Q.: Possibilistic description logics of extension. In: Proceedings of the International Workshop on Description Logics (DL 2007), pp. 435–442 (2007)
Shu, H., Spaccapietra, S., Parent, C., Sedas, D.Q.: Uncertainty of Geographic Information and Its Support in MADS. In: ISSDQ 2003 Proceedings (2003)
Smith, B., Mark, D.M.: Ontology and geographic kinds (January 1, 1998)
Schneider, M.: Uncertainty management for spatial data in databases: Fuzzy spatial data types. In: Güting, R.H., Papadias, D., Lochovsky, F.H. (eds.) SSD 1999. LNCS, vol. 1651, pp. 330–351. Springer, Heidelberg (1999)
Xu, W., Huang, H.-K., Liu, X.-H.: Spatio-temporal ontology and its application in geographic information system. In: Proceedings of the Fifth International Conference on Machine Learning and Cybernetics, Dalian, August 13-16 (2006)
Zadeh, L.A.: Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1(1), 3–28 (1978)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Bourai, S.B., Mokhtari, A., Khellaf, F. (2014). \( \mathcal{P}oss-\mathcal{S}\mathcal{R}\mathcal{O}\mathcal{I}\mathcal{Q}(\mathcal{D})\): Possibilistic Description Logic Extension toward an Uncertain Geographic Ontology. In: Catania, B., et al. New Trends in Databases and Information Systems. Advances in Intelligent Systems and Computing, vol 241. Springer, Cham. https://doi.org/10.1007/978-3-319-01863-8_30
Download citation
DOI: https://doi.org/10.1007/978-3-319-01863-8_30
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01862-1
Online ISBN: 978-3-319-01863-8
eBook Packages: EngineeringEngineering (R0)