canthenbereducedtoDatalog:Datalogwithnegationprograms.Apar - PPT Presentation
1httpwwwkrtuwienacatresearchsystemsdrew2
Example1TaketheDLKB2PapToRevvOverOverv8SuperOverfabgtfbcgvSuperwhereSuperisthetransitiveclosureoftheroleSuperThersttwoaxiomsindica ID: 410837