1529 search results - page 139 / 306 » On the Construction of Ontologies based on Natural Language ... |
179
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
165
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
162
click to vote
WER
1999
Springer
15 years 10 months ago
1999
Springer
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...
171
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...
167
click to vote
JDCTA
2010
15 years 1 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...