[Flora-commits] flora-website aboutFlogic.php,1.11,1.12
Brought to you by:
kifer
|
From: Michael K. <ki...@us...> - 2008-03-06 20:37:53
|
Update of /cvsroot/flora/flora-website In directory sc8-pr-cvs17.sourceforge.net:/tmp/cvs-serv22477 Modified Files: aboutFlogic.php Log Message: updated biblio Index: aboutFlogic.php =================================================================== RCS file: /cvsroot/flora/flora-website/aboutFlogic.php,v retrieving revision 1.11 retrieving revision 1.12 diff -u -d -r1.11 -r1.12 --- aboutFlogic.php 18 Sep 2007 18:36:29 -0000 1.11 +++ aboutFlogic.php 6 Mar 2008 20:37:49 -0000 1.12 @@ -50,16 +50,14 @@ F-logic) is a powerful tool for representing and querying semi-structured data. </li> - <li> - <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/well-founded-optimizm.pdf"> - Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. - </a> - Intl. Conference on - Ontologies, DataBases, and Applications of Semantics for Large - Scale Information Systems (ODBASE), October, 2002. - <br> + <li> + <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/inheritance-in-rbfs.pdf"> + Inheritance in Rule-Based Frame Systems: Semantics and Inference</a> + Journal on Data Semantics (JoDS), Volume VII, Pages 79-135. + <br/> Resolves the problem of semantics and computation of non-monotonic multiple inheritance in the presense of deductive rules. + Extends F-logic with code inheritance. </li> <li> <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/fl-reification.pdf"> @@ -73,15 +71,6 @@ properly model RDF in F-logic and FLORA-2. </li> <li> - <a href="ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/code-inheritance03.pdf"> - Inheritance and Rules in Object-Oriented Semantic Web Languages - </a> - Rules and Rule Markup Languages for the Semantic Web (RuleML03), - LNCS 2876, Springer Verlag, 2003 - <br> - Extends F-logic with code inheritance. - </li> - <li> <A href="http://www.ontoprise.de/documents/tutorial_flogic.pdf"> How to Write F-Logic Programs.</A> A tutorial for the <a href="http://www.ontoprise.de/">Ontoprise</a>'s |