| Predicate |
Object |
| assignee |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_4ddcb273a108a5d8472b335280098e06 |
| classificationCPCAdditional |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G05B2219-32347
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/Y02P90-02
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G05B2219-32015 |
| classificationCPCInventive |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06N5-04
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06N5-02
http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G05B19-41885 |
| classificationIPCInventive |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G05B19-418 |
| filingDate |
2017-11-28-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| inventor |
http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_00a8f27852e26b52653c759ab681556f
http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_9a880cc0b8a644ff175cfeaf0a1fc2a0 |
| publicationDate |
2018-06-07-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| publicationNumber |
WO-2018099901-A1 |
| titleOfInvention |
Checking method, device, and computer program product |
| abstract |
The invention relates to a method for checking whether and/or how a technical process can be carried out using a technical system with two or more units which have technical capabilities that are potentially relevant to the technical process. At least one ontology is used which describes the technical system and the technical process, and a constraint satisfaction problem is generated using the at least one ontology. In the method according to the invention, solutions are found for the constraint satisfaction problem and are preferably output. |
| priorityDate |
2016-11-29-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
| type |
http://data.epo.org/linked-data/def/patent/Publication |