Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.
Nabil M. KabbaniDaniel WelchCaleb H. PriesterStephen SchaubBlair DurkeeYu-Shan SunMurali SitaramanPublished in: F-IDE (2015)
Keyphrases
- web applications
- website
- formal models
- machine processable
- meta level
- database
- semantic web
- web resources
- web technologies
- logical reasoning
- end users
- information sources
- web documents
- spatial reasoning
- web data
- semantic web ontologies
- web intelligence
- linked data
- web content
- knowledge representation
- knowledge base
- web pages
- user generated content
- information gathering
- reasoning processes
- information retrieval