» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with logic + ontology

SwetoDblp ontology of Computer Science publications

<sep/>a large number of real-world instance data. We describe how such ontology is built from an XML source and how it can be maintained. Instead of a one-to-one mapping from XML to RDF, the<sep/>

XML: del.icio.us/tag/xml

[from chimezie] SwetoDblp ontology of Computer Science publications

"SwetoDblp is a large populated ontology with a shallow schema yet a large number of real-world instance data. We describe how such ontology is built from an XML source and how it can be maintained. Instead of a one-to-one mapping from XML to RDF, the cre

User:jeyrb: jey's network's del.icio.us bookmarks

[from chimezie] A Hypertableau Calculus for SHIQ

"To the best of our knowledge, our reasoner is currently the only one that can classify the original version of the GALEN terminology." Impressive

User:jeyrb: jey's network's del.icio.us bookmarks

[from chimezie] baetle - Google Code

"Baetle stands for Bug And Enhancement Tracking LanguagE. It is an ontology that describes what bug repositories such as Bugzilla, Jira and others do." - Hmm..

User:jeyrb: jey's network's del.icio.us bookmarks

Problem-oriented Medical Record Ontology

A 'Semantic Web Ontology' document. Transformed (programatically) from OWL/XML, Markdown, SKOS, DC, and OBO into a GRDDL source document which expresses the ontology for humans (XHTML and OWL Manchester syntax) and machines (The OWL ontology i

SWIG: del.icio.us tag/swig

[from chimezie] Investigating subsumption in SNOMED CT

The objective of this paper is to study the degree to which one DLbased biomedical terminology (SNOMED CT) does indeed comply with such principles.

User:jeyrb: jey's network's del.icio.us bookmarks

[from chimezie] folification.pdf (application/pdf Object)

"In this paper, we present a translation of a large part (around 90%) of the Cyc ontology into First- Order Logic. We discuss our methodology, and the tradeoffs between expressivity and efficiency in representation and reasoning."

User:jeyrb: jey's network's del.icio.us bookmarks

[from chimezie] Music Ontology Specification

"..provides main concepts and properties fo describing music (i.e. artists, albums and tracks) on the Semantic Web"

User:jeyrb: jey's network's del.icio.us bookmarks

[from chimezie] Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain

"Drawing on our distinction of the three levels of reality, cognition and representational artifact we have sought to formulate an unambiguous terminology for describing ontologies and related artifacts." Not for the faint of heart, but classic ontology engineering literature

User:jeyrb: jey's network's del.icio.us bookmarks

OWL : FaCT++

take advantage of your DL compliant OWL ontologies with this open-source DL reasoner, and it runs in Windows using .NET 2.0 framework

opensource: del.icio.us tag/opensource

ConceptNet

ConceptNet is a freely available commonsense knowledgebase and natural-language-processing toolkit which supports many practical textual-reasoning tasks over real-world documents right out-of-the-box. (And omg, there's a version in Common LISP.)

opensource: del.icio.us tag/opensource