公开(公告)号：US11907209B2

公开(公告)日：2024-02-20

申请号：US17331584

申请日：2021-05-26

申请人： Microsoft Technology Licensing, LLC

发明人： Lengning Liu ,  Tanuja Machineni ,  Chad Michael Heyne ,  Manohar Sreenivasachar ,  Richard T. Guy ,  Roji Pulimoottil Thomas

IPC分类号： G06F16/00 ,  G06F16/242 ,  G06F16/2455 ,  G06F40/211 ,  G06F40/30

CPC分类号： G06F16/2423 ,  G06F16/2445 ,  G06F16/24565 ,  G06F40/211 ,  G06F40/30

摘要： Solutions for enforcing both syntactic and semantic correctness of domain-specific data queries include: receiving a data query; constraining an operation of the data query to enforce semantic correctness, wherein enforcing semantic correctness comprises: determining semantic information associated with each of a plurality of data entities; based on at least the semantic information, determining whether combining the two data entities of the plurality of data entities is allowed or is not allowed; based on at least determining that combining the two data entities is allowed, permitting combining the two data entities in the data query; and based on at least determining that combining the two data entities is not allowed, preventing combining the two data entities in the data query; and executing the data query. Some examples further include basing the permission on (at least) an ontology between the semantic information of the two data entities and a set of axioms.