Description logic, as a logical foundation of knowledge representation and reasoning, plays an important role in the Semantic Web. In practical applications, many fields contain a large number of fuzzy spatio-temporal knowledge. With a large amount of fuzzy spatio-temporal knowledge and many corresponding applications being incorporated into the Semantic Web, description logic becomes an effective method to solve the problem of fuzzy spatio-temporal knowledge representation and reasoning. Currently, many efforts have been done on fuzzy spatio-temporal extensions of description logics, and the literature on fuzzy spatio-temporal description logic has been booming. To address these issues and more importantly, in this paper, we provide a comprehensive survey of the research literature that applies description logics techniques in fuzzy spatio-temporal representation and reasoning. The paper serves as helping readers grasp the main results and highlighting the direction of fuzzy spatio-temporal representation and reasoning based on description logics.
AllenJ.F., Maintaining knowledge about temporal intervals, Communications of the ACM26(11) (1983): 832–843.
2.
ArtaleA. and FranconiE., A temporal description logic for reasoning about actions and plans, Journal of Artificial Intelligence Research9 (1998), 463–506.
3.
BaaderF., The description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press, Cambridge, 2003.
4.
BaaderF.CarstenL.MajaM.SattlerU. and WolterF., Integrating description logics and action formalisms: First results, in: Proceedings of the 20th National Conference on Artificial Intelligence, 2005, pp. 572–577.
5.
BaaderF.GhilardiS. and LutzC., Ltl over description logic axioms, ACM Transactions on Computational Logic13(3) (2008), 260–273.
6.
BaaderF. and HanschkeP., A scheme for integrating concrete domains into concept languages, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991, pp. 452–457.
7.
BaiL.ShaoZ.LinZ. and ChengS., Fixing inconsistencies of fuzzy spatiotemporal xml data, Applied Intelligence47(1) (2017), 257–275.
8.
BaiL.YanL. and MaZ., Fuzzy spatiotemporal data modeling and operations in xml, Applied Artificial Intelligence29(3) (2015), 259–282.
9.
BaiL.YanL. and MaZ.M., Modeling topological relations between fuzzy spatiotemporal regions over time, in: 2012 IEEE International Conference on Fuzzy Systems, 2012, pp. 1–8.
10.
BaoL.QinX.-L.ZhangJ. and LiQ.-Y., Reasoning the spatiotemporal relations between time evolving indeterminate regions, in: Advances in Machine Learning and Cybernetics, 2006, pp. 448–458.
11.
BassiriA.AlesheikhA. and MalekM.R., Spatio-temporal object modeling in fuzzy topological space, The International Archives of the Photogrammetric, Remote Sensing and Spatial Information Sciences37(B2) (2008), 131–134.
12.
BassiriA. and AlesheikhA.A., Spatio-temporal topological relationships based on rough set, in: Proceedings of the 7th IEEE International Conference on Cognitive Informatics (ICCI 2008), 2008, pp. 175–180.
13.
BatsakisS. and PetrakisE.G.M., Sowl: spatio-temporal representation, reasoning and querying over the semantic web, in: Proceedings of the 6th International Conference on Semantic Systems, 2010.
14.
BatsakisS. and PetrakisE.G.M., Sowl: A framework for handling spatio-temporal information in owl 2.0, in: International Symposium on Rules and Rule Markup Languages for the Semantic Web, 2011, pp. 242–249.
15.
BennettB., Spatial reasoning with propositional logic, in: Proceedings of the 4th International Conference on Know ledge Representation and Reasoning, 1994, pp. 51–62.
16.
BittnerT.DonnellyM. and SmithB., A spatio-temporal ontology for geographic information integration, International Journal of Geographical Information Science23(6) (2009), 765–798.
17.
BrachmanR.J. and LevesqueH.J., Knowledge representation and reasoning, Morgan Kaufmann Publishers, 2004.
18.
CampeloC.E.C.BennettB. and DimitrovaV., From polygons and timestamps to dynamic geographic features: grounding a spatio-temporal geo-ontology, in: International Conference on Advances in Conceptual Modeling, 2012, pp. 251–260.
19.
ChangL.ShiZ.GuT. and ZhaoL., A family of dynamic description logics for representing and reasoning about actions, Journal of Automated Reasoning49(1) (2012), 1–52.
20.
ChangL.ShiZ.QiuL. and LinF., Dynamic description logic: Embracing actions into description logic, in: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), 2007.
21.
ChengH., Modeling and querying fuzzy spatiotemporal objects, Journal of Intelligent & Fuzzy Systems31(6) (2016), 2851–2858.
22.
ChengH. and MaZ., f-alc(d)-ltl: A fuzzy spatio-temporal description logic, in: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management (KSEM 2017), 2017, pp. 93–105.
23.
ChengH. and ZhangF., Modeling topological relationships between fuzzy spatio-temporal objects, Journal of Computing and Information Technology24(4) (2016), 323–348.
24.
ChristensenR.WangL.LiF.YiK.TangJ. and VillaN., Storm: Spatio-temporal online reasoning and management of large spatio-temporal data， in: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, 2015, pp. 1111–1116.
25.
CristaniM. and GabrielliN., Practical issues of description logics for spatial reasoning, in: Proceedings of the 2009 AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009, pp. 5–10.
26.
DavisR.ShrobeH. and SzolovitsP., What is a knowledge representation? AI Magazine14(1) (1993), 17.
27.
EmersonA., Temporal and modal logic, in: van LeeuwenJ., ed, Handbook of Theoretical Computer Science, MIT Press Cambridge, 1990, pp. 995–1072.
28.
FlaminioT. and TiezziE.B.P., On metric temporal łukasiewicz logic, Electronic Notes in Theoretical Computer Science (246) (2009), 71–85.
29.
FrigeriA.PasqualeL. and SpoletiniP., Fuzzy time in linear temporal logic, ACM Transactions on Computational Logic15(4) (2014), 1–30.
Günsel and Christian, A tableaux-based reasoner for temporalised description logics, PhD thesis, University of Liverpool, 2005.
32.
HaarslevV.LutzC. and MollerR., A description logic with concrete domains and a role-forming predicate operator, Journal of Logic and Computation9(3) (1999), 351–384.
33.
HájekP., Metamathematics of Fuzzy Logic, Springer Netherlands, 1998.
34.
HanschkeP.AbeckerA. and DrollingerD., Taxon: A concept language with concrete domains, in: Proceedings of the International Workshop on Processing Declarative Knowledge, PDK ’91, 1991, pp. 411–413.
35.
HaririB.B.CalvaneseD.MontaliM.De GiacomoG.De MasellisR. and FelliP., Description logic knowledge and action bases, Journal of Artificial Intelligence Research46 (2013), 651–686.
36.
HazarikaS.M., Qualitative SpatioTemporal Representation and Reasoning: Trends and Future Directions, IGI Global, 2012.
37.
HoL.T.Arch-intS. and Arch-intN., Introducing fuzzy temporal description logic, in: Proceedings of the 3rd International Conference on Industrial and Business Engineering, 2017, pp. 77–80.
38.
HuK.YuX.LiZ. and ZhuH., The temporal description logic tl-si and its decidability algorithm, in: 2010 International Conference on Computational Aspects of Social Networks (CASoN), 2010, pp. 575–578.
39.
HudelotC.AtifJ. and BlochI., Integrating bipolar fuzzy mathematical morphology in description logics for spatial reasoning, in: Proceedings of 19th European Conference on Artificial Intelligence, Lisbon, 2010, pp. 497–502.
40.
HudelotC.AtifJ. and BlochI., Alc(f): a new description logic for spatial reasoning in images, in: Proceedings of the13th European Conference on Computer Vision (ECCV Workshop 2014), 2014, pp. 370–384.
41.
IbrahimZ.M. and TawfikA.Y., Spatio-temporal reasoning for vague regions, in: Conference of the Canadian Society for Computational Studies of Intelligence, Springer, 2004, pp. 308–321.
42.
EgenhoferM.J., Definitions of line-line relations for geographic databases, IEEE Data Engineering Bulletin16(3) (1993), 40–45.
43.
EgenhoferM.J. and FranzosaR.D., Point-set topological spatial relations, International Journal of Geographical Information Systems5(2) (1991), 161–174.
44.
EgenhoferM.J. and MarkD.M., Modelling conceptual neighbourhoods of toplogical line-region relations, International Journal of Geographical Information Systems9(2) (1995), 133–152.
45.
KaplunovaA.HaarslevV. and MollerR., Adding ternary complex roles to alcrp(d), in: Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, 2002, pp. 45–52.
46.
KlirG.J. and YuanB., Fuzzy sets and fuzzy logic: Theory and applications, Prentice-Hall, Upper Saddle River, 1995.
47.
KrögerF. and MerzS., Basic Propositional Linear Temporal Logic, Springer Berlin Heidelberg, 2008.
48.
KrötzschM.SimancikF. and HorrocksI., A description logic primer, CoRR, 1201.4089, 2012.
49.
LadkinP. and MadduxR.D., On binary constraint problems, Journal of the ACM41(3) (1995), 435–469.
50.
Le YaouancJ.-M. and PoliJ.-P., A fuzzy spatio-temporal-based approach for activity recognition, in: CastanoS.VassiliadisP.LakshmananL.V. and LeeM.L., eds, Advances in Conceptual Modeling, Springer Berlin Heidelberg, 2012, pp. 314–323.
51.
LiS., Combining topological and directional information for spatial reasoning, in: Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI 2007), 2007, pp. 435–440.
52.
LiuW.XuW.WangD. and ZhangX., A temporal description logic for reasoning about action in event, Information Technology Journal11(9) (2012), 1211–1218.
53.
LutzC., The complexity of description logics with concrete domains, PhD thesis, Bibliothek der RWTH Aachen, 2002.
54.
LutzC., Description logics with concrete domains – a survey, in: Proceedings of the Fourth Conference on Advances in Modal Logic, 2002, pp. 265–296.
55.
LutzC. and BrandtM.M., A tableau algorithm for description logics with concrete domains and general tboxes, Journal of Automated Reasoning38(1) (2007), 227–259.
56.
LutzC. and WolterF., Temporal description logics: A survey, in: 15th International Symposium on Temporal Representation and Reasoning, 2008, pp. 3–14.
57.
MoonS.-i.LeeK.H. and LeeD., Fuzzy branching temporal logic, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)34(2) (2004), 1045–1055.
58.
NaK.S.KongH.ChoM.KimP. and BaikD.K., Multimedia information retrieval based on spatiotemporal relationships using description logics for the semantic web, International Journal of Intelligent Systems21(7) (2006), 679–692.
59.
NebelB. and BürckertH.-J., Reasoning about temporal relations: a maximal tractable subclass of allen’s interval algebra, Journal of the ACM42(1) (1995), 43–66.
60.
PapadiasD. and TheodoridisY., Spatial relations, minimum bounding rectangles, and spatial data structures, International Journal on Geographic Information Systems11(2) (1997), 111–138.
61.
ParisiF. and GrantJ., Knowledge representation in probabilistic spatio-temporal knowledge bases, Journal of Artificial Intelligence Research55 (2016), 743–798.
62.
PfoserD. and JensenC.S., Capturing the uncertainty of moving-object representations, in: Proceedings of the 6th International Symposium on the Advances in Spatial Databases, 1999, pp. 111–132.
63.
PfoserD. and TryfonaN., Capturing fuzziness and uncertainty of spatiotemporal objects, in: East European Conference on Advances in Databases and Information Systems, Springer, 2001, pp. 112–126.
64.
PierkotC.AndrésS.FaureJ.F. and SeylerF., Formalizing spatiotemporal knowledge in remote sensing applications to improve image interpretation, Journal of Spatial Information Science2013(7) (2013), 77–98.
65.
RandellD.A.CuiZ. and CohnA.G., A spatial logic based on regions and connection, in: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning (KR-92), 1992, pp. 165–176.
66.
RenJ.WangX.LuX. and SongW., An approach to representing spatio-temporal ontology in the geospatial semantic web, in: 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, 2016, pp. 2093–2097.
67.
RenzJ. and NebelB., On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus, Artificial Intelligence108(1) (1999), 69–123.
68.
RibaricS. and HrkacT., A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level petri nets, Information Systems37(3) (2012), 238–256.
69.
SchildK., Combining terminological logics with tense logic, in: Proceedings of the 6th Portuguese Conference on AI (EPIA ’93), 1993, pp. 105–120.
70.
Schmidt-SchaußM. and SmolkaG., Attributive concept descriptions with complements, Artificial Intelligence48(1) (1991), 1–26.
71.
SchmiedelA., A temporal terminological logic, in: Proceedings of the eighth National Conference on Artificial Intelligence, 1990, pp. 640–645.
72.
SchockaertS.De CockM. and KerreE.E., Fuzzy region connection calculus: an interpretation based on closeness, International Journal of Approximate Reasoning48 (2008), 332–347.
73.
SchockaertS.De CockM. and KerreE.E., Fuzzy region connection calculus: representing vague topological information, International Journal of Approximate Reasoning48 (2008), 314–331.
74.
SchockaertS.De CockM. and KerreE.E., Spatial reasoning in a fuzzy region connection calculus, Artificial Intelligence173 (2009), 258–298.
75.
SözerA.YazıcıA.OğuztüzünH. and TaşO., Modeling and querying fuzzy spatiotemporal databases, Information Sciences178(19) (2008), 3665–3682.
76.
StracciaU., A fuzzy description logic for the semantic web, in: Capturing Intelligence: Fuzzy Logic and the Semantic Web, Elsevier, 2006, pp. 73–90.
77.
StracciaU., Towards spatial reasoning in fuzzy description logics, in: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2009), 2009, pp. 512–517.
78.
SunY. and ZhaoX., Dynamic linear time temporal description logics, in: 2010 Second WRI Global Congress on Intelligent Systems, 2010, pp. 383–391.
79.
ThatipamulaK.ChaudhuryS. and GhoshH., Specifying spatio temporal relations for multimedia ontologies, in: Proceedings of the First International Conference on Pattern Recognition and Machine Intelligence, 2005, pp. 527–532.
80.
WangS.-S. and LiuD.-Y.v, Spatial description logic and its application in geospatial semantic web, in: Proceedings of the 2008 International Multi-symposiums on Computer and Computational Sciences, Shanghai, 2008, pp. 214–221.
81.
WeitlF.NakajimaS. and FreitagB., Structured counterexamples for the temporal description logic alcctl, in: Proceddings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, pp. 232–243.
82.
WesselM., On spatial reasoning with description logics – position paper, in: Proceedings of the 2002 International Workshop on Description Logics (DL 2002), 2002, pp. 156–163.
83.
WolterF. and ZakharyaschevM., Temporalizing description logics, Frontier of Combining Systems2 (1999), 379–401.
84.
WolterH. and FrankS.A., A tableau calculus for temporal description logic: the expanding domain case, Journal of Logic and Computation12 (2002), 809–838.
85.
ZadehL.A., Fuzzy sets, Information Control8(3) (1965), 338–353.
