Skip to main content

2017 | OriginalPaper | Buchkapitel

Rule-Based OWL Modeling with ROWLTab Protégé Plugin

verfasst von : Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler

Erschienen in: The Semantic Web

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

It has been argued that it is much easier to convey logical statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on transformations between rules and DLs, we have developed ROWLTab, a Protégé plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL 2 DL axioms if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of the rule. In this paper, we present ROWLTab, together with a user evaluation of its effectiveness compared to entering axioms using the standard Protégé interface. Our evaluation shows that modeling with ROWLTab is much quicker than the standard interface, while at the same time, also less prone to errors for hard modeling tasks.

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!

Literatur
1.
Zurück zum Zitat Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2010)MATH Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2010)MATH
2.
Zurück zum Zitat Carral Martínez, D., Hitzler, P.: Extending description logic rules. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 345–359. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30284-8_30CrossRef Carral Martínez, D., Hitzler, P.: Extending description logic rules. In: Simperl, E., Cimiano, P., Polleres, A., Corcho, O., Presutti, V. (eds.) ESWC 2012. LNCS, vol. 7295, pp. 345–359. Springer, Heidelberg (2012). doi:10.​1007/​978-3-642-30284-8_​30CrossRef
3.
Zurück zum Zitat Carral, D., Krisnadhi, A., Rudolph, S., Hitzler, P.: All but not nothing: left-hand side universals for tractable OWL profiles. In: Keet, C.M., Tamma, V.A.M. (eds.) Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014). CEUR Workshop Proceedings, vol. 1265, Riva del Garda, Italy, 17–18 October 2014, pp. 97–108. CEUR-WS.org (2014) Carral, D., Krisnadhi, A., Rudolph, S., Hitzler, P.: All but not nothing: left-hand side universals for tractable OWL profiles. In: Keet, C.M., Tamma, V.A.M. (eds.) Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014). CEUR Workshop Proceedings, vol. 1265, Riva del Garda, Italy, 17–18 October 2014, pp. 97–108. CEUR-WS.org (2014)
5.
Zurück zum Zitat Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press, Chapman & Hall (2010) Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press, Chapman & Hall (2010)
7.
Zurück zum Zitat Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005). doi:10.1007/11552222_4CrossRef Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005). doi:10.​1007/​11552222_​4CrossRef
10.
Zurück zum Zitat Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt, L.D., et al. (eds.) 20th European Conference on Artificial Intelligence, Montpellier, ECAI 2012, France, 27–31 August 2012, pp. 474–479. IOS Press (2012) Knorr, M., Hitzler, P., Maier, F.: Reconciling OWL and non-monotonic rules for the semantic web. In: Raedt, L.D., et al. (eds.) 20th European Conference on Artificial Intelligence, Montpellier, ECAI 2012, France, 27–31 August 2012, pp. 474–479. IOS Press (2012)
11.
Zurück zum Zitat Krisnadhi, A., Maier, F., Hitzler, P.: OWL and rules. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 382–415. Springer, Heidelberg (2011). doi:10.1007/978-3-642-23032-5_7CrossRef Krisnadhi, A., Maier, F., Hitzler, P.: OWL and rules. In: Polleres, A., d’Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 382–415. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-23032-5_​7CrossRef
12.
Zurück zum Zitat Krötzsch, M.: Description Logic Rules, Studies on the Semantic Web, vol. 8. IOS Press, Amsterdam (2010)MATH Krötzsch, M.: Description Logic Rules, Studies on the Semantic Web, vol. 8. IOS Press, Amsterdam (2010)MATH
13.
Zurück zum Zitat Krötzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Eiter, T., et al. (eds.) Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML 2006, pp. 17–26. IEEE Computer Society, Athens, Georgia (2006) Krötzsch, M., Hitzler, P., Vrandecic, D., Sintek, M.: How to reason with OWL in a logic programming system. In: Eiter, T., et al. (eds.) Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML 2006, pp. 17–26. IEEE Computer Society, Athens, Georgia (2006)
14.
Zurück zum Zitat Krötzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for OWL: nominal schemas for integrating rules and ontologies. In: Srinivasan, S., et al. (eds.) Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, 28 March–1 April, pp. 645–654. ACM (2011) Krötzsch, M., Maier, F., Krisnadhi, A., Hitzler, P.: A better uncle for OWL: nominal schemas for integrating rules and ontologies. In: Srinivasan, S., et al. (eds.) Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, 28 March–1 April, pp. 645–654. ACM (2011)
15.
Zurück zum Zitat Krötzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., et al. (eds.) Proceeding of the 18th European Conference on Artificial Intelligence, Patras, Greece, 21–25 July, vol. 178, pp. 80–84. IOS Press, Amsterdam (2008) Krötzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., et al. (eds.) Proceeding of the 18th European Conference on Artificial Intelligence, Patras, Greece, 21–25 July, vol. 178, pp. 80–84. IOS Press, Amsterdam (2008)
16.
Zurück zum Zitat Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: tractable rules for OWL 2. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649–664. Springer, Heidelberg (2008). doi:10.1007/978-3-540-88564-1_41CrossRef Krötzsch, M., Rudolph, S., Hitzler, P.: ELP: tractable rules for OWL 2. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 649–664. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-88564-1_​41CrossRef
17.
Zurück zum Zitat Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165–228 (2009)MathSciNetMATH Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36, 165–228 (2009)MathSciNetMATH
18.
Zurück zum Zitat Musen, M.A.: The protégé project: a look back and a look forward. AI Matters 1(4), 4–12 (2015)CrossRef Musen, M.A.: The protégé project: a look back and a look forward. AI Matters 1(4), 4–12 (2015)CrossRef
19.
Zurück zum Zitat Patel-Schneider, P.F., Horrocks, I.: A comparison of two modelling paradigms in the semantic web. In: Proceedings of the Fifteenth International World Wide Web Conference (WWW 2006), pp. 3–12. ACM (2006) Patel-Schneider, P.F., Horrocks, I.: A comparison of two modelling paradigms in the semantic web. In: Proceedings of the Fifteenth International World Wide Web Conference (WWW 2006), pp. 3–12. ACM (2006)
20.
Zurück zum Zitat Rudolph, S., Krötzsch, M., Hitzler, P., Sintek, M., Vrandecic, D.: Efficient OWL reasoning with logic programs – evaluations. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 370–373. Springer, Heidelberg (2007). doi:10.1007/978-3-540-72982-2_34CrossRef Rudolph, S., Krötzsch, M., Hitzler, P., Sintek, M., Vrandecic, D.: Efficient OWL reasoning with logic programs – evaluations. In: Marchiori, M., Pan, J.Z., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 370–373. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-72982-2_​34CrossRef
21.
Zurück zum Zitat Sarker, M.K., Carral, D., Krisnadhi, A.A., Hitzler, P.: Modeling OWL with rules: the ROWL protege plugin. In: Kawamura, T., Paulheim, H. (eds.) Proceedings of the ISWC 2016 Posters & Demonstrations Track. CEUR Workshop Proceedings, vol. 1690, Kobe, Japan, 19 October, CEUR-WS.org (2016) Sarker, M.K., Carral, D., Krisnadhi, A.A., Hitzler, P.: Modeling OWL with rules: the ROWL protege plugin. In: Kawamura, T., Paulheim, H. (eds.) Proceedings of the ISWC 2016 Posters & Demonstrations Track. CEUR Workshop Proceedings, vol. 1690, Kobe, Japan, 19 October, CEUR-WS.org (2016)
22.
Zurück zum Zitat Steigmiller, A., Glimm, B., Liebig, T.: Reasoning with nominal schemas through absorption. J. Autom. Reasoning 53(4), 351–405 (2014)MathSciNetCrossRef Steigmiller, A., Glimm, B., Liebig, T.: Reasoning with nominal schemas through absorption. J. Autom. Reasoning 53(4), 351–405 (2014)MathSciNetCrossRef
Metadaten
Titel
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
verfasst von
Md. Kamruzzaman Sarker
Adila Krisnadhi
David Carral
Pascal Hitzler
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-58068-5_26

Neuer Inhalt