
	Where results make sense

Topic: Description logic

Related Topics

Formal logic

Default logic

Web Ontology Language

Ontology (computer science)

Logical argument

DAML

Semantics

Model theory

Dublin Core

Axiomatic set theory

Set theory

Owl

Epistemology

Dublin, Ohio

Zircon

In the News (Wed 9 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Description logic: Facts and details from Encyclopedia Topic (Site not responding. Last check: 2007-10-29)
		Description Logics are a family of knowledge representation knowledge representation quick summary:
		Description Logic was given its current name in the 1980s[Follow this hyperlink for a summary of this subject].
		Resource description framework (rdf) is a family of specifications for a metadata model that is often implemented as an application of xml....
	www.absoluteastronomy.com /encyclopedia/d/de/description_logic.htm (841 words)

	Bertrand Russell (Site not responding. Last check: 2007-10-29)
		His most influential contributions include his defense of logicism (the view that mathematics is in some important sense reducible to logic), and his theories of definite descriptions and logical atomism.
		Russell's contributions to logic and the foundations of mathematics include his discovery of Russell's paradox, his defense of logicism (the view that mathematics is, in some significant sense, reducible to formal logic), his development of the theory of types, and his refining of the first-order predicate calculus.
		Like Gottlob Frege, Russell's basic idea for defending logicism was that numbers may be identified with classes of classes and that number-theoretic statements may be explained in terms of quantifiers and identity.
	plato.stanford.edu /entries/russell (3963 words)

	ipedia.com: Knowledge representation Article (Site not responding. Last check: 2007-10-29)
		They are typically based on logic and mathematics, and have easily parsed grammars to ease machine processing.
		The recent fashion in knowledge representation languages is to use XML as the low-level syntax.
		However, even simple systems based on this simple logic can be used to represent data which is well beyond the processing capability of current computer systems: see computability for reasons.
	www.ipedia.com /knowledge_representation.html (558 words)

	EpistemeLinks: Website results for Logic and Philosophy of Logic
		Description: Reasearch activity for the development of proof assistants and theorem-provers for various logics, the exploitation of various logics for problem specification or as programming languages and the investigation of their proof theory and semantics.
		Description: dedicated to providing a central repository for information pertaining to the investigation of reasoning with visual representations.
		Description: A large collection of links in the foundations of mathematics and formal logic.
	www.epistemelinks.com /Main/Topics.aspx?TopiCode=Logi (831 words)

	David A. Plaisted's Home Page
		As a result, we have developed provers that are among the best in terms of being able to prove a wide variety of non-equality problems with a minimum of human guidance.
		We are studying the proofs-as-programs paradigm, in which programs are expressed as proofs in a logical system.
		The Relative Power of Semantics and Unification, Workshop on Programming Logics in memory of Harald Ganzinger, Andreas Podelski, Andrei Voronkov and Reinhard Wilhelm, editors, Saarbruecken, Germany, June 3-4, 2005.
	www.cs.unc.edu /~plaisted (1316 words)

	The Puzzle Place
		Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and these two works show the same quirky humor.
		Don't let the title of the first work mislead you--this isn't about modern symbolic logic but about ways of expressing classical logic with symbols.
		In the second work he turns logic into a game played with diagrams and colored counters, giving you hundreds of challenging and witty syllogisms to solve.
	www.puzzle-place.net /logic-puzzle-books.htm (218 words)

	Flat Screen TV Information (Site not responding. Last check: 2007-10-29)
		The video projector has long been used as a presentation tool in business and commercial entertainment, as well as in some very wealthy homes, but now with advances in technology, several...
		The DLP Experimental Description Logic System and Propositional Modal Logic Satisfiability Checker...
		The Description Logic Prover (DLP) is an experimental description logic system...
	www.flatscreentvreviews.info /dlp.php (596 words)

Try your search on: Qwika (all wikis)