Abstract
Network database inventory is a critical tool for the operations of any telecommunication company, by supporting network configuration and maintenance, as well as troubleshooting of network incidents. Whereas an incorrect inventory can often lead to severe implications and financial losses, the sheer size of a telecommunication network, the number of equipment involved, and other operational constraints, often lead to outdated inconsistent inventories, which are usually validated and updated by hand, during change management processes – a time-consuming task highly prone to human error. In this paper, we describe a solution to automate the validation of network inventories within the context of a multinational telecommunication company, with operations in several different countries, using NoHR, a reasoner that allows the user to query (hybrid) knowledge bases composed of ontologies and non-monotonic rules, both of which are necessary to perform the kind of reasoning required by this task. In addition, to address severe performance issues – essentially in terms of memory – resulting from NoHR v3.0’s need to pre-process the entire database into OWL assertions or rule facts, in this paper, we also present v4.0 of NoHR, which extends NoHR v3.0 with native support for Databases, solving not only the memory consumption problems, but also improving the average reasoning times.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
We refer to [2] for a more general and thorough introduction to DLs.
- 3.
- 4.
Conceptually, this allows to simultaneously view certain predicates under the closed world semantics in rules and under the open world semantics in the ontology, and admits the bidirectional flow of information between both the rules and the ontology.
- 5.
In general, the notion of DL-safety is used in this context which requires that these variables occur in atoms that do themselves not occur in the ontology, but due to the reasoning method employed in NoHR, we can relax that restriction.
- 6.
As the actual database schemas are confidential, we cannot disclose them here.
- 7.
E.g., there are around 200K of facts for one of the countries involved.
- 8.
- 9.
- 10.
References
Alferes, J.J., Knorr, M., Swift, T.: Query-driven procedures for hybrid MKNF knowledge bases. ACM Trans. Comput. Log. 14(2), 1–43 (2013)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 3rd edn. Cambridge University Press, Cambridge (2010)
Calvanese, D., et al.: Ontop: answering SPARQL queries over relational databases. Semant. Web 8(3), 471–487 (2017)
Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. J. ACM 43(1), 20–74 (1996)
Costa, N., Knorr, M., Leite, J.: Querying LUBM with non-monotonic features in protege using NoHR. In: Proceedings of ISWC Demonstrations, CEUR Proceedings, vol. 1486 (2015)
Costa, N., Knorr, M., Leite, J.: Next step for NoHR: OWL 2 QL. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 569–586. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25007-6_33
Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., Schüller, P.: A model building framework for answer set programming with external computations. TPLP 16(4), 418–464 (2016)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12–13), 1495–1539 (2008)
Glimm, B., Horrocks, I., Motik, B., Stoilos, G., Wang, Z.: Hermit: an OWL 2 reasoner. J. Autom. Reason. 53(3), 245–269 (2014)
Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\cal{SROIQ}\). In: Proceedings of KR. AAAI Press (2006)
Ivanov, V., Knorr, M., Leite, J.: A query tool for \(\cal{EL}\) with non-monotonic rules. In: Alani, H., et al. (eds.) ISWC 2013. LNCS, vol. 8218, pp. 216–231. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41335-3_14
Ivanov, V., Knorr, M., Leite, J.: Reasoning over ontologies and non-monotonic rules. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds.) EPIA 2015. LNCS (LNAI), vol. 9273, pp. 388–401. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23485-4_39
Kaminski, T., Knorr, M., Leite, J.: Efficient paraconsistent reasoning with ontologies and rules. In: Proceedings of IJCAI. AAAI Press (2015)
Kazakov, Y., Krötzsch, M., Simančík, F.: The incredible ELK: from polynomial procedures to efficient reasoning with \(\cal{EL}\) ontologies. J. Autom. Reason. 53, 1–61 (2013)
Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9–10), 1528–1554 (2011)
Lifschitz, V.: Nonmonotonic databases and epistemic queries. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of IJCAI. Morgan Kaufmann (1991)
Lopes, C., Knorr, M., Leite, J.: NoHR: integrating XSB prolog with the OWL 2 profiles and beyond. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 236–249. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61660-5_22
Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language: Profiles (Second Edition). W3C (2012)
Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 93–154 (2010)
Slota, M., Leite, J., Swift, T.: On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229, 33–104 (2015)
Steigmiller, A., Liebig, T., Glimm, B.: Konclude: system description. J. Web Semant. 27, 78–85 (2014)
Terracina, G., Leone, N., Lio, V., Panetta, C.: Experimenting with recursive queries in database and logic programming systems. TPLP 8(2), 129–165 (2008)
Acknowledgments
We would like to acknowledge the helpful comments by the anonymous reviewers, the valuable contribution of N. Costa, V. Ivanov, and C. Lopes to the development of NoHR, and partial support by FCT projects RIVER (PTDC/CCI-COM/30952/2017) and NOVA LINCS (UID/CEC/04516/2013).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Kasalica, V., Gerochristos, I., Alferes, J.J., Gomes, A.S., Knorr, M., Leite, J. (2019). Telco Network Inventory Validation with NoHR. In: Balduccini, M., Lierler, Y., Woltran, S. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2019. Lecture Notes in Computer Science(), vol 11481. Springer, Cham. https://doi.org/10.1007/978-3-030-20528-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-20528-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20527-0
Online ISBN: 978-3-030-20528-7
eBook Packages: Computer ScienceComputer Science (R0)