IFCoLog Associated Blogs « IFCoLog – The International Federation for Computational Logic

An old Subversion annoyance finally explained

I finally found the explanation for a Subversion misbehavior that has been annoying me for a long time. Many repositories of KWARC projects have a world-readable root, whereas access to certain subdirectories is restricted. Now, when checking out such repositories, I never got those subdirectories. So I always ended up doing another checkout for them, [...] [...]

SePublica@ESWC Workshop on Semantic Publication (May 30, Crete), LNCS Post-proceedings, Best Paper Award by Elsevier

I am a chair of the following workshop (and Michael is on the PC), which is closely related to KWARC’s research interests (specifically KWARC-relevant topics highlighted below): 1st International Workshop on Semantic Publication (SePublica 2011) at the 8th Extended Semantic Web Conference (ESWC 2011) May 30th, Hersonissos, Crete, Greece Keynote by Steve Pettifer, Manchester University, [...] [...]

TEI Guidelines mention MathML, OpenMath, and OMDoc

Someone in the humanities must be interested in OMDoc. I was really surprised to find a reference to OMDoc in the section “Formulæ and Mathematical Expressions” guidelines (a.k.a. specification) for TEI. TEI (Text Encoding Initiative) is the standard semantic markup language for humanities, social sciences and linguistics, much like DocBook for technical manuals. All that [...] [...]

OpenMath CDs as Linked Data

I am currently pursuing the integration of OpenMath Content Dictionaries (CDs) into the Web of Data. (Here is the agenda, which I will present and discuss at the upcoming OpenMath workshop.) The motivation is that mathematical knowledge is currently underrepresented on the Web of Data, but that it is needed for certain use cases, such [...] [...]

IFCoLog – The International Federation for Computational Logic

Meta

Associated with:

An old Subversion annoyance finally explained

OpenMath CDs as Linked Data

“mathcolor/mathbackground on and elements?” (3 messages in thread)

“Accents in the operator dictionary” (1 message in thread)

“mathcolor/mathbackground on and elements?” (2 messages in thread)

“mathcolor/mathbackground on and elements?” ( message in thread)

“mathcolor/mathbackground on and elements?” (2 messages in thread)

“Accents in the operator dictionary” ( message in thread)

Deadlines

Jobs

Recent Posts

IFCoLog News

Contributors