User loginNavigation |
Logic/DeclarativeDescription Logics in Literate HaskellExperiments from Graham Klyne:
See also rdfweb-dev post, "Haskell vs. Ada vs. C++ vs. Awk vs. ..., An Experiment in Software Prototyping Productivity" (PS format) By Danny Ayers at 2004-09-08 19:16 | Functional | Logic/Declarative | Semantics | XML | 10 comments | other blogs | 13540 reads
SAT 3 Proof with E Prover via OWLAn interesting little Semantic Web-related development reported by Jos De Roo (creator of the Java/C# Euler inference engine). He's got the E Prover (an equational theorem prover for clausal logic), to find a proof for the OWL (Web Ontology Language) test case "inconsistent502" (RDF, variations), which is a Description Logic encoding of one of the classic SAT 3 problems. By Danny Ayers at 2004-09-08 19:06 | Logic/Declarative | Semantics | Theory | XML | login or register to post comments | other blogs | 7955 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 1 hour ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago