Knowledge Adaptation and Reasoning for Content

The ability to represent knowledge about the world and to draw logical inferences is one of the central components of intelligent behavior, as a consequence, reasoning components of some form are at the heart of many artificial intelligence systems.

Recent blog and wiki posts

These are the two most recent headlines; see our blog and wiki page for more details. Click on the [+] to see a preview of the a post. Click on the title of a post to go to the blog and read the whole post.

• [+] What is an ontology? (Christine in “KWARC was!”, 20 Aug)
  
  Christoph recently send me this article and since I found it really helpful, I am posting it to the blog: Some great W3C explanations of basic ontology concepts Cheers, Christine
• [+] MathML (Frederic wang in MathWeb - Recent changes [en], 3 Sep)
  

  MathML implementations: - improvement in Firefox 3

  ←Older revision		Revision as of 09:27, 3 September 2008
  Line 9:		Line 9:
  	More and more softwares support MathML. Here is a short overview :		More and more softwares support MathML. Here is a short overview :
  -	;browser:The two most used browsers are [[Firefox]] and [[Internet Explorer]]. Firefox support MathML, but as there is currently no set of free mathematical fonts, it uses proprietary fonts that can't be directly installed with Firefox. About Internet Explorer you have to install the [http://www.dessci.com/en/products/mathplayer/ MathPlayer plugin], but there is a lot of problems : you can't zoom, you can't load xml document, you have to add a stylesheet... Also, note that the [http://my.opera.com/desktopteam/blog/2008/02/01/new-snapshot last version of Opera] has a MathML support.	+	;browser:The two most used browsers are [[Firefox]] and [[Internet Explorer]]. Firefox has a native MathML support and it is even possible to embed formulae in SVG diagrams. About Internet Explorer you have to install the [http://www.dessci.com/en/products/mathplayer/ MathPlayer plugin], but there is a lot of problems : you can't zoom, you can't load xml document, you have to add a stylesheet... Also, note that the [http://my.opera.com/desktopteam/blog/2008/02/01/new-snapshot last version of Opera] has a MathML support.
  	;editor:As indicated in MathML recommandation, editors are important as, because of its complexity, it is difficult to directly edit source code of MathML. [[Amaya]] allows to edit presentation markup of MathML thanks to a Wysiwyg mode : more than one hundred predefined constructions are available. You can both create a single formula (mml) or integrate formulae in a XHTML document. Word processors like [[Abiword]], [[Kformula]] or [[OpenOffice]] have an import option (mml files). Among the three, Abiword seems to have the better MathML implementation. It is more limited for OpenOffice : it only supports MathML 1.0 and have to insert his own code in the xml source to reload files. [http://www.mozilla.org./projects/mathml/authoring.html Authoring MathML for Mozilla]		;editor:As indicated in MathML recommandation, editors are important as, because of its complexity, it is difficult to directly edit source code of MathML. [[Amaya]] allows to edit presentation markup of MathML thanks to a Wysiwyg mode : more than one hundred predefined constructions are available. You can both create a single formula (mml) or integrate formulae in a XHTML document. Word processors like [[Abiword]], [[Kformula]] or [[OpenOffice]] have an import option (mml files). Among the three, Abiword seems to have the better MathML implementation. It is more limited for OpenOffice : it only supports MathML 1.0 and have to insert his own code in the xml source to reload files. [http://www.mozilla.org./projects/mathml/authoring.html Authoring MathML for Mozilla]