Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
KI - Künstliche Intelligenz
Published in: KI - Künstliche Intelligenz 3/2020

25-06-2020 | Project Report

Towards Higher-order OWL

Authors: Martin Homola, Ján Kľuka, Petra Hozzová, Vojtěch Svátek, Miroslav Vacura

Published in: KI - Künstliche Intelligenz | Issue 3/2020

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We summarize our ongoing endeavour towards proposing a suitable higher-order description logic that could serve as the semantic foundation for higher-order OWL, similarly to \(\mathcal {SROIQ}\) serving as the semantic foundation of regular OWL.
previous article Reasoning in Description Logic Ontologies for Privacy Management
next article Ontologies for the Virtual Materials Marketplace

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

KI - Künstliche Intelligenz

The Scientific journal "KI – Künstliche Intelligenz" is the official journal of the division for artificial intelligence within the "Gesellschaft für Informatik e.V." (GI) – the German Informatics Society - with constributions from troughout the field of artificial intelligence.

inform now

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!

inform now
Show more products
Footnotes
Literature
1.
Bizer C, Heath T, Berners-Lee T (2009) Linked data-the story so far. Int J Semant Web Inf Syst 5(3):1–22
2.
Brasileiro F, Almeida JPA, Carvalho VA, Guizzardi G (2016) Expressive multi-level modeling for the semantic web. In: P. Groth, E. Simperl, A. Gray, M. Sabou, M. Krötzsch, F. Lecue, F. Flöck, Y. Gil (eds.) The Semantic Web – ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part I, pp. 53–69. Springer, Cham (2016). https://​doi.​org/​10.​1007/​978-3-319-46523-4_​4
3.
4.
Chen W, Kifer M, Warren DS (1993) A foundation for higher-order logic programming. J Log Program 15(3):187–230MathSciNetMATH
5.
Cuenca Grau B, Horrocks I, Motik B, Parsia B, Patel-Schneider P, Sattler U (2008) OWL 2: the next step for OWL. J Web Semant 6(4):309–322
6.
Čertický M, Homola M, Kľuka J, Serra S, Svátek V, Šimko A, Vacura M, Zamazal O (2014) LAAOS: Logical aspects of adaptable ontological schemas (Project overview). In: Znalosti 2014. VŠE, Praha
7.
De Giacomo G, Lenzerini M, Rosati R (2011) Higher-order description logics for domain metamodeling. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7–11, 2011. AAAI
8.
9.
Glimm B, Rudolph S, Völker J (2010) Integrated metamodeling and diagnosis in OWL 2. In: ISWC
10.
Gu Z, Cao C, Zhang S (2019) An expressive sub-language of OWL 2 full for domain meta-modeling. In: M. Simkus, G.E. Weddell (eds.) Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019, CEUR Workshop Proceedings, vol. 2373. CEUR-WS.org
11.
Hayes PJ, Patel-Schneider PF eds. (2014) RDF 1.1 Semantics. W3C Recommendation
12.
13.
Homola M, Kľuka J, Svátek V, Vacura M (2014) Typed higher-order variant of \(\cal{SROIQ}\) – why not? In: DL
14.
Kubincová P (2016) Higher-order description logics for metamodelling. Master’s thesis, Comenius University in Bratislava
15.
Kubincová P, Kľuka J, Homola M (2016) Expressive description logic with instantiation metamodelling. In: C. Baral, J.P. Delgrande, F. Wolter (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 569–572. AAAI Press
16.
17.
18.
Pan JZ, Horrocks I, Schreiber G (2005) OWL FA: A metamodeling extension of OWL DL. In: OWLED
19.
20.
Raimond Y, Abdallah SA, Sandler MB, Giasson F (2007) The music ontology. In: S. Dixon, D. Bainbridge, R. Typke (eds.) Proceedings of the 8th International Conference on Music Information Retrieval, ISMIR 2007, Vienna, Austria, September 23–27, 2007, pp. 417–422. Austrian Computer Society
21.
Svátek V, Homola M, Kľuka J, Vacura M (2013) Metamodeling-based coherence checking of OWL vocabulary background models. In: Rodriguez-Muro M, Jupp S, Srinivas K (eds) OWLED, CEUR Workshop Proceedings, vol 1080. http://​CEUR-WS.​org
Metadata
Title
Towards Higher-order OWL
Authors
Martin Homola
Ján Kľuka
Petra Hozzová
Vojtěch Svátek
Miroslav Vacura
Publication date
25-06-2020
Publisher
Springer Berlin Heidelberg
Published in
KI - Künstliche Intelligenz / Issue 3/2020
Print ISSN: 0933-1875
Electronic ISSN: 1610-1987
DOI
https://doi.org/10.1007/s13218-020-00665-8

Other articles of this Issue 3/2020

KI - Künstliche Intelligenz 3/2020 Go to the issue

Technical Contribution

Learning Description Logic Ontologies: Five Approaches. Where Do They Stand?

Project Reports

Ontologies for the Virtual Materials Marketplace

Community

News

Technical Contribution

Machine Understandable Policies and GDPR Compliance Checking

Dissertation and Habilitation Abstracts

Reasoning in Description Logic Ontologies for Privacy Management

Systems Description

Connecting Knowledge to Data Through Transformations in KnowID: System Description

Premium Partner

    Image Credits