2830 search results - page 188 / 566 » No Science without Semantics |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
WEBI
2004
Springer
14 years 1 months ago
2004
Springer
PPDN, Push-Pull Distribution Network, — a proposal for a novel framework for peer-to-peer collaborative research network is presented. Some requirements not addressed by the cur...
MKM
2009
Springer
14 years 21 days ago
2009
Springer
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
WSKS
2009
Springer
14 years 20 days ago
2009
Springer
We propose a framework that supports a federated environment based on a Mediator Architecture in the Semantic Web. The Mediator supports mappings between the OWL Ontology of the Me...