1042 search results - page 28 / 209 » Ontology: The Discipline and the Tool |
126
click to vote
EKAW
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. Ontology evolution tools often propose new ontological changes in the form of statements. While different methods exist to check the quality of such statements to be add...
126
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
125
Voted
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...
109
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
130
Voted
NLDB
2004
Springer
15 years 7 months ago
2004
Springer
This paper presented an approach for automatic generation of reports from domain ontologies encoded in Semantic Web standards like OWL. The paper identifies the challenges that ne...