5284 search results - page 561 / 1057 » Ontologizing Semantic Relations |
177
click to vote
MSCS
2007
15 years 6 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
225
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
217
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
193
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
167
click to vote
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...