What's a proper programming language for Semantic Web reasoning?

As I already mentioned, the internet is one big database. But how much is the information worth? Obviously not all the information on the internet is true and not all information is worth to be taken into consideration by solving problems. As I see it, the Semantic Web is still in its child shoes. New technologies and ideas come up, each and every day. The progress of structuring date using W3C recommendations has just begun. That allows to make more and more data being read- and understoodable by machines. But in the end, intelligent software (e.g. agents) has to do some kind of reasoning to solve their given problems. The software has to decide on its own, which information is worth to be taken into consideration and which information isn't. Moreover, the software has to decide how to use the given data. Logic Programming is one way to go. Lot's of (semantic web related) artificial intelligent and search problems could be solved by Logic Programming technologies such as Answer Set Programming (ASP). The simpleness and elegancy of ASP may perfectly fit to Semantic Web tasks, such as information collection and interpretation from standardized Semantic Web knowledge bases or intelligent software design. Does there already exist some languages that fulfills this description? Does there exist logic programming languages that are able to be used with modern Semantic Web technologies, such as XML, RDF and OWL? Yes it does.....
4 answers

Try Pellet for semantic web reasoning

Another good reasoner to be used in Protege is Pellet. You can download it from http://clarkparsia.com/pellet/


Instead of OWL DL, we have other two version : OWL EL and OWL FULL.
OWL EL is less expressive than OWL DL and OWL FULL, but the complexity is quite nice.
For OWL FULL, we can use both syntax in RDF and in OWL


I think it depend on which ontology language you are using. Typically, OWL is used to create ontology. And there are algorithms for each type of OWL

dlvhex - Semantic Web Reasoning

dlvhex is the name of a prototype application for computing the models of so-called HEX-programs, which are an extension of Answer-Set Programs towards integration of external computation sources. Not as in "pure" DLV you are not restricted to a certain knowledge base format. dlvhex allows you to reason on a large amount of knowledge bases, such as XML, RDF or OWL files.

dlvhex has some more advantages, which best can be explored at http://www.kr.tuwien.ac.at/research/systems/dlvhex/.