Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Learning Sparse Overcomplete Word Vectors Without Intermediate Dense Representations Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

f-\(\mathcal {ALC}\)(D)-LTL: A Fuzzy Spatio-Temporal Description Logic

verfasst von : Haitao Cheng, Zongmin Ma

Erschienen in: Knowledge Science, Engineering and Management

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In order to achieve representation and reasoning of fuzzy spatio-temporal knowledge on the Semantic Web, in this paper, we propose a fuzzy spatio-temporal description logic f-\(\mathcal {ALC}\)(D)-LTL that extends spatial fuzzy description logic f-\(\mathcal {ALC}\)(D) with linear temporal logic (LTL). Firstly, we give a formal definition of syntax, semantics of the f-\(\mathcal {ALC}\)(D)-LTL. Then, we propose a tableau algorithm for reasoning fuzzy spatio-temporal knowledge, i.e., determining satisfiability problem of f-\(\mathcal {ALC}\)(D)-LTL formula. Finally, we show the termination, soundness, and completeness of the tableau algorithm.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel A Fuzzy Logic Based Policy Negotiation Model
Nächstes Kapitel R-Calculus for the Primitive Statements in Description Logic
Literatur
1.
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRefMATH
2.
Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Res. 9(1), 463–506 (1998)MathSciNetMATH
3.
4.
Cristani, M., Gabrielli, N.: Practical issues of description logics for spatial reasoning. In: Proceedings of the 2009 AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, pp. 5–10 (2009)
5.
Gaintzarain, J., Hermo, M., Lucio, P., Navarro, M.: Systematic semantic tableaux for PLTL. Electron. Notes Theor. Comput. Sci. 206, 59–73 (2008)MathSciNetCrossRefMATH
6.
Galton, A.: Spatial and temporal knowledge representation. Earth Sci. Inf. 2(3), 169–187 (2009)CrossRef
7.
Goranko, V., Shkatov, D.: Tableau-based decision procedures for logics of strategic ability in multiagent systems. ACM Trans. Comput. Logic 11(1), 1–51 (2009)MathSciNetCrossRefMATH
8.
Haarslev, V., Lutz, C., Moller, R.: A description logic with concrete domains and a role-forming predicate operator. J. Logic Comput. 9(3), 351–384 (1999)MathSciNetCrossRefMATH
9.
Hudelot, C., Atif, J., Bloch, I.: \(\cal{ALC(}{\bf F}\cal{)}\): a new description logic for spatial reasoning in images. In: Agapito, L., Bronstein, M.M., Rother, C. (eds.) ECCV 2014. LNCS, vol. 8926, pp. 370–384. Springer, Cham (2015). doi:10.​1007/​978-3-319-16181-5_​26
10.
Kaplunova, A., Haarslev, V., Moller, R.: Adding ternary complex roles to ALCRP(D). In: DL Workshop, pp. 112–126 (2002)
11.
Klamma, R., Cao, Y., Spaniol, M., Leng, Y.: Spatiotemporal knowledge visualization and discovery in dynamic social networks. In: CIKM, pp. 384–391 (2007)
12.
Lutz, C., Milicic, M.: A tableau algorithm for description logics with concrete domains and general tboxes. J. Autom. Reason. 38(1), 227–259 (2007)MathSciNetCrossRefMATH
13.
Lutz, C., Wolter, F., Zakharyaschev, M.: Temporal description logics: a survey. In: TIME, pp. 3–14 (2008)
14.
15.
Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: KR, pp. 165–176 (1992)
16.
Ribaric, S., Hrkac, T.: A model of fuzzy spatio-temporal knowledge representation and reasoning based on high-level petri nets. Inf. Syst. 37(3), 238–256 (2012)CrossRef
17.
Schockaert, S., Cock, M.D., Cornelis, C., Kerre, E.E.: Fuzzy region connection calculus: an interpretation based on closeness. Int. J. Approx. Reason. 48(1), 332–347 (2008)MathSciNetCrossRefMATH
18.
Schockaert, S., De Cock, M., Kerre, E.E.: Spatial reasoning in a fuzzy region connection calculus. Artif. Intell. 173(2), 258–298 (2009)MathSciNetCrossRefMATH
19.
Seylan, I., Jamroga, W.: Coalition description logic with individuals. Electron. Notes Theor. Comput. Sci. 262, 231–248 (2010)MathSciNetCrossRefMATH
20.
Sozer, A., Yazici, A., Oguztuzun, H.: Modeling and querying fuzzy spatiotemporal databases. Inf. Sci. 178(19), 3665–3682 (2008)CrossRef
21.
Straccia, U.: Towards spatial reasoning in fuzzy description logics. In: FUZZ-IEEE, pp. 512–517 (2009)
22.
Straccia, U.: All about fuzzy description logics and applications. Reason. Web 2015, 1–31 (2015)MATH
23.
Sturm, H., Wolter, F.: A tableau calculus for temporal description logic: the expanding domain case. J. Logic Comput. 12(5), 809–838 (2002)MathSciNetCrossRefMATH
24.
Wang, S., Liu, D.: Spatial description logic and its application in geospatial semantic web. In: Proceedings of the 2008 International Multi-symposiums on Computer and Computational Sciences, pp. 214–221 (2008)
25.
Wolper, P.: The tableau method for temporal logic: an overview. Log. Anal. 110, 119–136 (1985)MathSciNetMATH
Metadaten
Titel
f-(D)-LTL: A Fuzzy Spatio-Temporal Description Logic
verfasst von
Haitao Cheng
Zongmin Ma
Copyright-Jahr
2017
Buch
Knowledge Science, Engineering and Management

Print ISBN: 978-3-319-63557-6

Electronic ISBN: 978-3-319-63558-3

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-63558-3_8