Category:Topic horn logic
From semanticweb.org
[edit] Short Definition
This topic is about Horn Logic, a sub-topic of Logic Programming.
Horn Logic is a part of the Semantic Web Topic Hierarchy. It was introduced in version 1 as described in History of the Semantic Web Topic Hierarchy.
[edit] More External Information about Horn Logic
- Search for Semantic Web publications using FacetedDBLP (the search is restricted to the main venues publishing about 'Semantic Web').
- Search for computer science publications using FacetedDBLP
- Search for computer science experts using ASPL-2
- Search for computer science publishing venues using ASPL-2
- Search for Semantic Web tools and applications for Horn Logic
- Search for scientific publications as phrase or bag of keywords on Google Scholar
- Search as phrase or bag of keywords on Google
- Look into Wikipedia
- Search for Semantic Web educational resources on REASE
- Search the Ontology Outreach Advisory
This category currently contains no pages or media.
