Skip to main content

2019 | OriginalPaper | Buchkapitel

A Description Logic for Unifying Different Points of View

verfasst von : Paula Severi, Edelweis Rohrer, Regina Motz

Erschienen in: Knowledge Graphs and Semantic Web

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Multilevel modelling is the conceptual modelling problem of having concepts that could be instances of another concepts. It is a relevant problem for many areas and in particular for ontology design. We motivate our work by a realworld case study on the accounting domain in which the points of view of expert and operator users are conceptualized as two knowledge levels. In this paper we address theoretical aspects of extending the tableau algorithm for a description logic that enables unifiying different user perspectives in a multilevel knowledge modelling, following a Henkin semantics.

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!

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!

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!

Fußnoten
1
Sistema Integrado de Gestión de Garantía de Alquileres, Contaduría General de la Nación, www.​cgn.​gub.​uy.
 
Literatur
1.
Zurück zum Zitat Cima, G., De Giacomo, G., Lenzerini, M., Poggi, A.: On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. In Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics (2017) Cima, G., De Giacomo, G., Lenzerini, M., Poggi, A.: On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. In Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics (2017)
2.
Zurück zum Zitat Giacomo, G.D., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI Press (2011) Giacomo, G.D., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI Press (2011)
3.
Zurück zum Zitat Glimm, B., Rudolph, S., Völker, J.: Integrated metamodeling and diagnosis in OWL 2. In: International Semantic Web Conference (2010) Glimm, B., Rudolph, S., Völker, J.: Integrated metamodeling and diagnosis in OWL 2. In: International Semantic Web Conference (2010)
4.
Zurück zum Zitat Gu, Z., Zhang, S.: The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering. Front. Comput. Sci. 12(5), 1029–1031 (2018)CrossRef Gu, Z., Zhang, S.: The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering. Front. Comput. Sci. 12(5), 1029–1031 (2018)CrossRef
5.
Zurück zum Zitat Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Boca Raton (2009)CrossRef Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Boca Raton (2009)CrossRef
6.
Zurück zum Zitat Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: CADE (2000) Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: CADE (2000)
7.
Zurück zum Zitat Jekjantuk, N., Gröner, G., Pan, J.: Modelling and reasoning in metamodelling enabled ontologies. Int. J. Softw. Inform. 4(3), 277–290 (2010) Jekjantuk, N., Gröner, G., Pan, J.: Modelling and reasoning in metamodelling enabled ontologies. Int. J. Softw. Inform. 4(3), 277–290 (2010)
8.
Zurück zum Zitat Kubincová, P.: Higher-order description logics for metamodelling. Master’s Thesis (2016) Kubincová, P.: Higher-order description logics for metamodelling. Master’s Thesis (2016)
9.
Zurück zum Zitat Kubincová, P., Kluka, J., Homola, M.: Expressive description logic with instantiation metamodelling. In: Proceedings of KR 2016 (2016) Kubincová, P., Kluka, J., Homola, M.: Expressive description logic with instantiation metamodelling. In: Proceedings of KR 2016 (2016)
10.
Zurück zum Zitat Lenzerini, M., Lepore, L., Poggi, A.: Answering metaqueries over hi (OWL 2 QL) ontologies. In: IJCAI (2016) Lenzerini, M., Lepore, L., Poggi, A.: Answering metaqueries over hi (OWL 2 QL) ontologies. In: IJCAI (2016)
11.
Zurück zum Zitat Martinez, M., Rohrer, E., Severi, P.: Complexity of the description logic ALCM. In: Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR (2016) Martinez, M., Rohrer, E., Severi, P.: Complexity of the description logic ALCM. In: Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR (2016)
14.
Zurück zum Zitat Motz, R., Rohrer, E., Severi, P.: The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Sem. 35(4), 214–234 (2015)CrossRef Motz, R., Rohrer, E., Severi, P.: The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Sem. 35(4), 214–234 (2015)CrossRef
15.
Zurück zum Zitat Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: a metamodeling extension of OWL DL. In: OWLED (2005) Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: a metamodeling extension of OWL DL. In: OWLED (2005)
16.
Zurück zum Zitat Rohrer, E., Severi, P., Motz, R.: Applying meta-modelling to an accounting application. In: ONTOBRAS (2018) Rohrer, E., Severi, P., Motz, R.: Applying meta-modelling to an accounting application. In: ONTOBRAS (2018)
Metadaten
Titel
A Description Logic for Unifying Different Points of View
verfasst von
Paula Severi
Edelweis Rohrer
Regina Motz
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-21395-4_2

Premium Partner