Sciweavers

1689 search results - page 16 / 338
» On Natural Non-dcpo Domains
Sort
View
SEFM
2009
IEEE
15 years 8 months ago
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
99
Voted
SEMWEB
2007
Springer
15 years 8 months ago
How Useful Are Natural Language Interfaces to the Semantic Web for Casual End-Users?
Natural language interfaces offer end-users a familiar and convenient option for querying ontology-based knowledge bases. Several studies have shown that they can achieve high ret...
Esther Kaufmann, Abraham Bernstein
110
Voted
KBSE
1999
IEEE
15 years 6 months ago
Controlled Natural Language Can Replace First-Order Logic
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
Norbert E. Fuchs, Uta Schwertel, Sunna Torge
ACL
2007
15 years 3 months ago
Construction of Domain Dictionary for Fundamental Vocabulary
For natural language understanding, it is essential to reveal semantic relations between words. To date, only the IS-A relation has been publicly available. Toward deeper natural ...
Chikara Hashimoto, Sadao Kurohashi
IASTEDSE
2004
15 years 3 months ago
Using application domain ontology to construct an initial system model
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
Leonid Kof