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:
Exploiting the Beta Distribution-Based Reputation Model in Recommender System Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

On the Krom Extension of \(\mathcal {CFDI}^{\forall -}_{nc}\)

verfasst von : David Toman, Grant Weddell

Erschienen in: AI 2015: Advances in Artificial Intelligence

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We consider the consequences on basic reasoning problems of the Krom extension to the description logic dialect \(\mathcal {CFDI}^{\forall -}_{nc}\), that is, of allowing negated primitive concepts on left-hand-sides of inclusion dependencies. Specifically, we show that TBox consistency and concept satisfiability remain in PTIME, but that this extension leads to intractability for both knowledge base consistency and instance retrieval. We then trace the roots of intractability by presenting tight conditions that recover PTIME complexity for both of these problems. The conditions relate to the structure of functional constraints in \(\mathcal {CFDI}^{\forall -}_{nc}\) and to the unique name assumption.

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 Investigating Japanese Ijime (Bullying) Behavior Using Agent-Based and System Dynamics Models
Nächstes Kapitel Understanding People Relationship: Analysis of Digitised Historical Newspaper Articles
Fußnoten
1
The widgets, in principle, can support 4-clauses. For 3-CNF we fixed concept membership of one of the objects to B.
 
Literatur
1.
Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. AI Res. 36, 1–69 (2009)MathSciNetMATH
2.
Borgida, A., Weddell, G.: Adding uniqueness constraints to description logics. In: Bry, F. (ed.) DOOD 1997. LNCS, vol. 1341, pp. 85–102. Springer, Heidelberg (1997) CrossRef
3.
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Path-based identification constraints in description logics. In: Principles of Knowledge Representation and Reasoning, pp. 231–241 (2008)
4.
Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 155–160 (2001)
5.
Ito, M., Weddell, G.: Implication problems for functional constraints on databases supporting complex objects. J. Comput. Syst. Sci. 49(3), 726–768 (1994)MathSciNetCrossRefMATH
6.
Khizder, V.L., Toman, D., Weddell, G.: On decidability and complexity of description logics with uniqueness constraints. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 54–67. Springer, Heidelberg (2000) CrossRef
7.
Schaerf, A.: On the complexity of the instance checking problem in concept languages with existential quantification. J. Intell. Inf. Syst. 2(3), 265–278 (1993)CrossRef
8.
Toman, D., Weddell, G.: On keys and functional dependencies as first-class citizens in description logics. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 647–661. Springer, Heidelberg (2006) CrossRef
9.
Toman, D., Weddell, G.E.: On the interaction between inverse features and path-functional dependencies in description logics. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 603–608 (2005)
10.
Toman, D., Weddell, G.E.: On keys and functional dependencies as first-class citizens in description logics. J. Aut. Reasoning 40(2–3), 117–132 (2008)MathSciNetCrossRefMATH
11.
Toman, D., Weddell, G.E.: Applications and extensions of PTIME description logics with functional constraints. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 948–954 (2009)
12.
Toman, D., Weddell, G.: On adding inverse features to the description logic \({\cal {CFD}}^{\forall }_{nc}\). In: Pham, D.-N., Park, S.-B. (eds.) PRICAI 2014. LNCS, vol. 8862, pp. 587–599. Springer, Heidelberg (2014)
13.
Toman, D., Weddell, G.E.: On the utility of \({\cal CFDI}\). In: Proceedings of the 28th International Workshop on Description Logics (2015)
14.
Weddell, G.: A theory of functional dependencies for object oriented data models. In: International Conference on Deductive and Object-Oriented Databases, pp. 165–184 (1989)
Metadaten
Titel
On the Krom Extension of
verfasst von
David Toman
Grant Weddell
Copyright-Jahr
2015
Buch
AI 2015: Advances in Artificial Intelligence

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

Electronic ISBN: 978-3-319-26350-2

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-319-26350-2_50