]> 2012-02-09T20:57:45-05:00 Michael Kifer Kifer Where Are the Rules? Inheritance and Rules in Object-Oriented Semantic Web Languages CTR-S: a logic for specifying contracts in semantic web services On the complexity of schema inference from web pages in the presence of nullable data attributes WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic An Evidence-based Framework for a Theory of Inheritance On the Declarative Semantics of Inheritance Networks A Layered Architecture for Querying Dynamic Web Content Querying Object-Oriented Databases F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme Comprehensive Approach to the Design of Relational Database Schemes Containment of Conjunctive Object Meta-Queries A Logical Framework for Scheduling Workflows under Resource Allocation Constraints Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic RuleML Position Statement Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions Has author Has surname Person