138 search results - page 12 / 28 » DATALOG with Nested Rules |
107
Voted
WWW
2011
ACM
14 years 6 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...
113
click to vote
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
RDF Schema (RDFS) as a lightweight ontology language is gaining popularity and, consequently, tools for scalable RDFS inference and querying are needed. SPARQL has become recently ...
117
Voted
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
Many applications call for methods to enable automatic extraction of structured information from unstructured natural language text. Due to inherent challenges of natural language ...
PPSWR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
108
Voted
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...