25 search results - page 1 / 5 » Logical Foundations of (e)RDF(S): Complexity and Reasoning |
SEMWEB
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
BIRTHDAY
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
AI
1998
Springer
13 years 4 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
JAIR
2008
13 years 4 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
ER
2007
Springer
13 years 11 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...