sorted by: recent | see : popular

Content Tagged with paper + logic

"The primary goal of this paper is to suggest a formalism that is considerably more expressive than current theories of action and to explore its use in defining the meanings of English sentences that describe actions and events."

"In this paper [..] considering embeddings of RDF and RDFS in logic. Using these embeddings [..] we establish several novel complexity results... Finally, we consider querying RDF graphs and establish the data complexity of conjunctive querying for the va

"[..] a logic that allows rules to be expressed in a Web environment. It extends RDF with syntax for nested graphs and quantified variables and with predicates for implication and accessing resources on the Web, and functions including cryptographic, stri

"In this paper we discuss the design of Knowledge Bus, a system which generates information systems - database and programming interfaces - from application-focused subsets of a large ontology (Cyc)"

"No discussions about logic have been more confused and confusing than the debates about how logic is related to natural languages."

"In this thesis, we propose developing a useful, mechanically-veri⊘ed theorem prover." meta-reasoning framework

"This article surveys various complexity and expressiveness results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog" - Formal Basis for N3/RIF/D

"We have filled in the details of this sketch proof using the Isabelle/HOL proof assistant, and developed machinery for further study of the formal semantics of OWL." spotted by Dan

"SwetoDblp is a large populated ontology with a shallow schema yet a large number of real-world instance data. We describe how such ontology is built from an XML source and how it can be maintained. Instead of a one-to-one mapping from XML to RDF, the cre

"In particular, we argue that there is a very important class of rule-based languages, with over thirty years of history and experience, which cannot be layered on top of OWL and must be included in the Semantic Web architecture alongside with the stack o

"To the best of our knowledge, our reasoner is currently the only one that can classify the original version of the GALEN terminology." Impressive

"The paper discusses the semantic issues which arose when generating lexical and semantic matches of terms from the archetype model to relevant SNOMED codes."

"In this paper, we present a translation of a large part (around 90%) of the Cyc ontology into First- Order Logic. We discuss our methodology, and the tradeoffs between expressivity and efficiency in representation and reasoning."

Long title.. Describes how RDFS can be expressed as a set of axiomatic (one-way) rules, prooves how such an implementation is reasonably computable, and provides a similar mapping for the subset of OWL where this is possible Refers t