Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
166 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies (2304.01664v2)

Published 4 Apr 2023 in cs.AI

Abstract: Inconsistency handling is an important issue in knowledge management. Especially in ontology engineering, logical inconsistencies may occur during ontology construction. A natural way to reason with an inconsistent ontology is to utilize the maximal consistent subsets of the ontology. However, previous studies on selecting maximum consistent subsets have rarely considered the semantics of the axioms, which may result in irrational inference. In this paper, we propose a novel approach to reasoning with inconsistent ontologies in description logics based on the embeddings of axioms. We first give a method for turning axioms into distributed semantic vectors to compute the semantic connections between the axioms. We then define an embedding-based method for selecting the maximum consistent subsets and use it to define an inconsistency-tolerant inference relation. We show the rationality of our inference relation by considering some logical properties. Finally, we conduct experiments on several ontologies to evaluate the reasoning power of our inference relation. The experimental results show that our embedding-based method can outperform existing inconsistency-tolerant reasoning methods based on maximal consistent subsets.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (45)
  1. Generating natural language descriptions from OWL ontologies: the NaturalOWL system. Journal of Artificial Intelligence Research 48 (2013), 671–715.
  2. The description logic handbook: Theory, implementation and applications. Cambridge university press.
  3. Inconsistency management and prioritized syntax-based entailment. In IJCAI, Vol. 93. 640–645.
  4. Meghyn Bienvenu. 2020. A short survey on inconsistency handling in ontology-mediated query answering. KI-Künstliche Intelligenz 34, 4 (2020), 443–451.
  5. Meghyn Bienvenu and Camille Bourgaux. 2016. Inconsistency-tolerant querying of description logic knowledge bases. In Reasoning Web International Summer School. Springer, 156–202.
  6. Meghyn Bienvenu and Camille Bourgaux. 2022. Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments. arXiv preprint arXiv:2202.07980 (2022).
  7. Querying inconsistent description logic knowledge bases under preferred repair semantics. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 28.
  8. Computing and explaining query answers over inconsistent DL-Lite knowledge bases. Journal of Artificial Intelligence Research 64 (2019), 563–644.
  9. Translating embeddings for modeling multi-relational data. Advances in neural information processing systems 26 (2013).
  10. A review: Knowledge reasoning over knowledge graph. Expert Systems with Applications 141 (2020), 112948.
  11. BERT: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805 (2018).
  12. Weight-based consistent query answering over inconsistent SHIQ knowledge bases. Knowledge and Information Systems 34, 2 (2013), 335–371.
  13. LUBM: A benchmark for OWL knowledge base systems. Journal of Web Semantics 3, 2-3 (2005), 158–182.
  14. A framework for handling inconsistency in changing ontologies. In International semantic web conference. Springer, 353–367.
  15. Ontology reconciliation. In Handbook on ontologies. Springer, 231–250.
  16. OpenKE: An Open Toolkit for Knowledge Embedding. In Proceedings of EMNLP.
  17. Universal representation learning of knowledge bases by jointly embedding instances and ontological concepts. In Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining. 1709–1719.
  18. BERTMap: a BERT-based ontology alignment system. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 36. 5684–5691.
  19. Supervised ontology and instance matching with MELT. arXiv preprint arXiv:2009.11102 (2020).
  20. Zhisheng Huang and Frank van Harmelen. 2008. Using semantic distances for reasoning with inconsistent ontologies. In International Semantic Web Conference. Springer, 178–194.
  21. Reasoning with Inconsistent Ontologies. In International Joint Conference on Artificial Intelligence.
  22. Zhisheng Huang and Frank van Harmelen. 2008. Using semantic distances for reasoning with inconsistent ontologies. In The Semantic Web-ISWC 2008: 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings 7. Springer, 178–194.
  23. Reasoning with inconsistent ontologies. In Proceedings of the 19th International Joint Conference on Artificial Intelligence. 454–459.
  24. Measuring effectiveness of ontology debugging systems. Knowledge-Based Systems 71 (2014), 169–186.
  25. A relevance-directed algorithm for finding justifications of DL entailments. In Asian Semantic Web Conference. Springer, 306–320.
  26. Rational Inference Relations from Maximal Consistent Subsets Selection. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-19. International Joint Conferences on Artificial Intelligence Organization, 1749–1755. https://doi.org/10.24963/ijcai.2019/242
  27. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial intelligence 44, 1-2 (1990), 167–207.
  28. Deep learning-based reasoning with multi-ontology for IoT applications. IEEE Access 7 (2019), 124688–124701.
  29. Towards a complete OWL ontology benchmark. In European Semantic Web Conference. Springer, 125–139.
  30. Algorithms for paraconsistent reasoning with OWL. In European Semantic Web Conference. Springer, 399–413.
  31. Paraconsistent OWL and related logics. Semantic Web 4, 4 (2013), 395–427.
  32. Efficient Estimation of Word Representations in Vector Space. arXiv:arXiv:1301.3781
  33. Mridul K Mishra and Jaydeep Viradiya. 2019. Survey of sentence embedding methods. International Journal of Applied Science and Computations 6, 3 (2019), 592–592.
  34. Holographic embeddings of knowledge graphs. In Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 30.
  35. Nils Reimers and Iryna Gurevych. 2019. Sentence-bert: Sentence embeddings using siamese bert-networks. arXiv preprint arXiv:1908.10084 (2019).
  36. Nicholas Rescher and Ruth Manor. 1970. On inference from inconsistent premisses. Theory and decision 1, 2 (1970), 179–217.
  37. Large-scale taxonomy induction using entity and word embeddings. In Proceedings of the International Conference on Web Intelligence. 81–87.
  38. Petar Ristoski and Heiko Paulheim. 2016. Rdf2vec: Rdf graph embeddings for data mining. In International Semantic Web Conference. Springer, 498–514.
  39. Non-standard reasoning services for the debugging of description logic terminologies. In Ijcai, Vol. 3. 355–362.
  40. Efficient Query Answering over Expressive Inconsistent Description Logics.. In IJCAI. 1279–1285.
  41. pyRDF2Vec: A Python Implementation and Extension of RDF2Vec. (2022). https://doi.org/10.48550/ARXIV.2205.02283
  42. Knowledge Graph Embedding: A Survey of Approaches and Applications. IEEE Transactions on Knowledge and Data Engineering 29, 12 (2017), 2724–2743. https://doi.org/10.1109/TKDE.2017.2754499
  43. Consert: A contrastive framework for self-supervised sentence representation transfer. arXiv preprint arXiv:2105.11741 (2021).
  44. Embedding entities and relations for learning and inference in knowledge bases. arXiv preprint arXiv:1412.6575 (2014).
  45. Inconsistency-tolerant reasoning with OWL DL. International Journal of Approximate Reasoning 55, 2 (2014), 557–584.
Citations (2)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now