Cited in
(25)- Foundations of RDF Databases
- External sources of knowledge and value invention in logic programming
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Introduction to the Semantic Web and Semantic Web Services
- N3Logic: A logical framework for the World Wide Web
- Discovering missing \texttt{me} edges across social networks
- An experimental ontology server for an information grid environment
- Dimensions of formality: a case study for MKM in software engineering
- A Mathematical Approach to Ontology Authoring and Documentation
- OilEd
- OntoEdit
- N3Logic
- LAD
- GtkMathView
- jsMath
- NNexus
- MathDox
- STEX+
- Formulator MathML
- nSPARQL
- WebODE
- DSpace
- SUMO
- SPARQ2L
- Combining social networks and semantic web technologies for personalizing web access
This page was built for software: foaf
