Sammanfattning, Vi anser att problemet med att integrera Reiters standardlogik i terminologiska representationssystem. Det visar sig att en sådan integration är mindre okomplicerad än vi förväntat oss, med tanke på att det terminologiska språket är ett decibelt underspråk av första ordningens logik. Semantiskt sett har man den obehagliga effekten att konsekvenserna av en terminologisk standardteori kan vara ganska ointuitiv, och kan till och med variera med den syntaktiska strukturen av likvärdiga begreppsuttryck. Detta beror på otillfredsställande behandling av öppna förfall via Skolemization i Reiters semantik. På den algoritmiska sidan, visar vi att denna behandling kan leda till en obeslutsam standard konsekvens förhållande, även om vårt basspråk är decidable, och vi har endast ändligt många (öppna) standardvärden. På grund av dessa problem, anser vi då en begränsad semantik för öppna standard i våra terminologiska standardteorier: standardregler tillämpas endast på individer som är uttryckligen närvarande i kunskapsbasen. I denna semantik är det möjligt att beräkna alla förlängningar av en ändlig terminologisk standardteori, vilket innebär att denna typ av standardresonemang kan fastställas. Vi beskriver en algoritm för datortillägg och visar hur inferensprocedurerna i terminologiska system kan ändras för att ge optimalt stöd till denna algoritm.
I REF föreslås en utvidgning av DL med Reiters standardlogik.
Embedding defaults into terminological knowledge representation formalisms
{'venue': 'Journal of Automated Reasoning', 'journal': 'Journal of Automated Reasoning', 'mag_field_of_study': ['Computer Science', 'Mathematics']}