Bubo - Implementing OWL in rule-based systems

From: Stefan Decker (stefan@isi.edu)
Date: 11/26/02

  • Next message: Mike Dean: "Joint Committee telecon today 3 December"
    Hi,
    
    the paper I mentioned during the telecon.
    It uses skolems and integrity contstraints to
    extend the in LP representable subset of DL constructs.
    
    Best,
    
    	Stefan
    
    
    
    --
    http://www.isi.edu/~stefan 
    

    
    
    

    This archive was generated by hypermail 2.1.4 : 12/03/02 EST