Abstract
The standard method to retrieve information can be formally defined as follows. To ask a query, one gives the properties of the entities to be retrieved, and the answer is the set of all the entities that satisfy the query. Another method, is to ask the overall information about a given entity, and the answer is the corresponding information. An example of the first kind of query is: ‘who are the persons who have had a car accident?’, an example of the second kind is: ‘what is the overall information about a given person?’. This latter method has deserved very few researches though it has great potential practical applications. However, it raises many non-trivial issues that are investigated here. The first one is to find a precise definition of the fact that a piece of information ‘is about’ a given entity. We propose a new formal definition of this notion of aboutness for query languages in first-order logic with function symbols, and the main properties that follow from this definition are presented. The second one is to define a bridge between this abstract semantic definition and automated deduction methods based on Resolution Principle. Deduction strategies are defined in this direction and it is proved that they are complete.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
