593 search results - page 69 / 119 » RDF and Logic: Reasoning and Extension |
119
click to vote
ESCIENCE
2007
IEEE
15 years 4 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
79
Voted
LREC
2010
15 years 1 months ago
2010
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
110
click to vote
ENTCS
2010
15 years 17 days ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
129
Voted
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
152
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...