Cross produkter utgör ett användbart modelleringsverktyg som gör det möjligt för oss att uttrycka naturliga uttalanden såsom "elefanter är större än möss", eller, mer allmänt, att definiera relationer som förbinder varje instans i en relation med varje instans i en annan relation. Trots deras användbarhet kan inte korsprodukter uttryckas med hjälp av befintliga bevakade ontologispråk, såsom beskrivningslogik (DLs) och bevakade existentiella regler. Den fråga som uppstår är om tvärprodukter är kompatibla med bevakade ontologispråk och, om inte, om det finns ett sätt att göra dem kompatibla. Detta har redan studerats för DLs, medan för bevakade existentiella regler förblir obesvarade. Vårt mål är att ge ett svar på ovanstående fråga. I detta syfte fokuserar vi på det bevakade fragmentet av första ordningens logik (som fungerar som en förenande ram som subsumerar många av de ovan nämnda ontologispråken) utsträckt med korsprodukter, och vi undersöker de vanliga uppgifterna tillfredsställelse och frågesvar. Intressant nog isolerar vi relevanta fragment som är kompatibla med korsprodukter.
Effekterna av att använda tvärprodukter i GF har nyligen undersökts av REF.
Making Cross Products and Guarded Ontology Languages Compatible
{'venue': 'IJCAI', 'journal': None, 'mag_field_of_study': ['Computer Science']}