Links

Ontology

Description Logic

• What is Description Logics?

• Notes on Description Logic by Enrico Franconi
  • Description Logic Ch1
  • Description Logic Ch2
• Types of Description Logics
  
  

  Name	Characteristic
  AL	Basic description language
  ALU	AL + unions
  ALE	AL + existential quantification
  ALN	AL + number restrictions
  ALFL-	AL + non-atomic negation
  ALC	AL + union (U ) + existential quantification (E ) + complement (C)
  S	ALC + transitively closed primitive roles
  SH	S + hierarchy of roles
  SHI	SH + inverse roles
  SHIQ	SHI + generalized cardinality restrictions
  SHIN	SHIQ limited to unqualified number restrictions
  SHO	SH + singleton classes
  SHOQ	SHO + qualified number restrictions
  SHIF	SHIN  limited to functional number restrictions
  SHOIN	SH + singleton classes (O) + inverse roles (I) + unqualified number restrictions (N ) [basis for OWL]

Machine Learning

• Propositional to First Order Logic in Machine Learning and Data Mining - Induction of first order rules with ICL (2002)

Logic

• Stanford Encyclopedia of Philosophy
• Hector Levesque's notes on Knowledge Representation
• Logic for Computer Scientists ( wiki | pdfs ) Author: Uli Furbach
• Alan Bundy's paper on Survey of Automated Deduction
• Mathematical Background by John F. Sowa This is a great refresher on many aspects of Mathematics.
• Intro to Logic from MTH 714 - LOGIC AND COMPUTABILITY by Dr Dejan Delic at the Ryerson University's Math Department
• Mathematical Logic around the world

Conference Info

• Computer Science Conference Rankings 1
  • Databases / Knowledge and Data Management / Data Security / Web / Mining
  • Artificial Intelligence / Machine Learning / Robotics / Human Computer Interaction
  • Architecture / Hardware / High-Performance Computing / Tools / Operating Systems
  • Applications / Education / Software / Theory / Communications / Graphics / Bioinformatics