Advanced Query Functionalities in Natural Logic Knowledge Bases
Abstract Natural logics are formal logics characterized by expressions that bear a resemblance to simplified natural language sentences. The inherent readability of natural logics renders them suitable also for large knowledge bases. Within the realm of natural logics, the rules of logical proof are...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2024-04-01
|
| Series: | International Journal of Computational Intelligence Systems |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/s44196-024-00484-x |
| _version_ | 1797199225202671616 |
|---|---|
| author | Troels Andreasen Henrik Bulskov Jørgen Fischer Nilsson |
| author_facet | Troels Andreasen Henrik Bulskov Jørgen Fischer Nilsson |
| author_sort | Troels Andreasen |
| collection | DOAJ |
| description | Abstract Natural logics are formal logics characterized by expressions that bear a resemblance to simplified natural language sentences. The inherent readability of natural logics renders them suitable also for large knowledge bases. Within the realm of natural logics, the rules of logical proof are applicable directly to the sentences constructed using this framework. This direct application ensures explainability of query inferences. In the paper we describe a specific natural logic named NaturaLog, suited for ontology-structured knowledge bases. We outline how NaturaLog can be effectively implemented into a database system to facilitate deductive querying. The primary focus of this paper lies in exploring various query functionalities and elucidating methods to achieve these capabilities, also when dealing with large-scale knowledge bases. |
| first_indexed | 2024-04-24T07:12:22Z |
| format | Article |
| id | doaj.art-e87107e7a14042e2b8804c477f2ddc48 |
| institution | Directory Open Access Journal |
| issn | 1875-6883 |
| language | English |
| last_indexed | 2024-04-24T07:12:22Z |
| publishDate | 2024-04-01 |
| publisher | Springer |
| record_format | Article |
| series | International Journal of Computational Intelligence Systems |
| spelling | doaj.art-e87107e7a14042e2b8804c477f2ddc482024-04-21T11:29:38ZengSpringerInternational Journal of Computational Intelligence Systems1875-68832024-04-0117111110.1007/s44196-024-00484-xAdvanced Query Functionalities in Natural Logic Knowledge BasesTroels Andreasen0Henrik Bulskov1Jørgen Fischer Nilsson2Computer Science, Roskilde UniversityComputer Science, Roskilde UniversityDepartment of Mathematics and Computer Science, Technical University of DenmarkAbstract Natural logics are formal logics characterized by expressions that bear a resemblance to simplified natural language sentences. The inherent readability of natural logics renders them suitable also for large knowledge bases. Within the realm of natural logics, the rules of logical proof are applicable directly to the sentences constructed using this framework. This direct application ensures explainability of query inferences. In the paper we describe a specific natural logic named NaturaLog, suited for ontology-structured knowledge bases. We outline how NaturaLog can be effectively implemented into a database system to facilitate deductive querying. The primary focus of this paper lies in exploring various query functionalities and elucidating methods to achieve these capabilities, also when dealing with large-scale knowledge bases.https://doi.org/10.1007/s44196-024-00484-xNatural logicsDeductive queryingExplainabilityKnowledge basesFormal ontology |
| spellingShingle | Troels Andreasen Henrik Bulskov Jørgen Fischer Nilsson Advanced Query Functionalities in Natural Logic Knowledge Bases International Journal of Computational Intelligence Systems Natural logics Deductive querying Explainability Knowledge bases Formal ontology |
| title | Advanced Query Functionalities in Natural Logic Knowledge Bases |
| title_full | Advanced Query Functionalities in Natural Logic Knowledge Bases |
| title_fullStr | Advanced Query Functionalities in Natural Logic Knowledge Bases |
| title_full_unstemmed | Advanced Query Functionalities in Natural Logic Knowledge Bases |
| title_short | Advanced Query Functionalities in Natural Logic Knowledge Bases |
| title_sort | advanced query functionalities in natural logic knowledge bases |
| topic | Natural logics Deductive querying Explainability Knowledge bases Formal ontology |
| url | https://doi.org/10.1007/s44196-024-00484-x |
| work_keys_str_mv | AT troelsandreasen advancedqueryfunctionalitiesinnaturallogicknowledgebases AT henrikbulskov advancedqueryfunctionalitiesinnaturallogicknowledgebases AT jørgenfischernilsson advancedqueryfunctionalitiesinnaturallogicknowledgebases |