- From: Rick Murphy <rick@rickmurphy.org>
- Date: Sun, 08 Jun 2008 12:02:01 -0400
- To: Zille Huma <zille.huma@upb.de>
- CC: semantic-web@w3.org
Thanks Zille. A few other languages you may enjoy checking out with a brief description of each are as follows: 1. Common Logic (CL) - Has a strongly committed community of practitioners, as folks heard from Pat Hayes, Chris Menzel and John Sowa at the recent SemTech conference in Dan Diego; 2. Knowledge Interchange Format (KIF) - A CL dialect with a strong history at Stanford and SRI 3. OBJ - An algebraic specification language developed by Jospeh Goguen 4. Common Algebraic Specification Language (CASL) - Another algebraic specification language from a European Community 5. Maude - Has a focus on term rewriting and seems to have some traction at SRI 6. Metaslang - A functional language from a small company near Stanford called Kestrel that was used to prove the consistency of OWL. Feel free to ask more questions about these languages as I have at least a little time into most, but I suspect we should do that off-list as folks here would probably not want to detract from discussion of RDF/OWL languages. Also, I received an off-line note regarding the source material for the ontology based on Peirce's "On a New List of Categories." Folks can find the Peirce manuscript here ... http://www.peirce.org/writings/p32.html -- Best Wishes, Rick blog: http://phaneron.rickmurphy.org web: http://www.rickmurphy.org phone: 703.201.9129 Zille Huma wrote: > Hi All, > > This discussion is very interesting to get an insight into ontologies. > Being a Software Engineer, I am also interested in exploring the > provided ontology languages such as OWL etc. In terms of Software > engineering and not the formal languages, i have only found OWL to be > prevailing. Correct me if i am wrong, is there any other popular > language for ontologies. Secondly, what features does these languages > provide to capture the behavioral semantics of the domain, i.e., the > activities. > > I am looking forward to a fruitful discussion on this aspect also. > > Zille > > >
Received on Sunday, 8 June 2008 16:04:17 UTC