Magic templates: a spellbinding approach to logic programs
Journal of Logic Programming
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
An epistemic operator for description logics
Artificial Intelligence
Combining Horn rules and description logics in CARIN
Artificial Intelligence
Ontologies' KISSES in Standardization
IEEE Intelligent Systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
Ontology reasoning in the SHOQ(D) description logic
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
Semantic web technologies to automate searching for geospatial data
dg.o '06 Proceedings of the 2006 international conference on Digital government research
Agents for e-business applications
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
From SPARQL to rules (and back)
Proceedings of the 16th international conference on World Wide Web
Model-driven design and development of semantic Web service applications
ACM Transactions on Internet Technology (TOIT)
Building place ontologies for the semantic web:: issues and approaches
Proceedings of the 4th ACM workshop on Geographical information retrieval
A comparison of two modelling paradigms in the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Towards a semantic web layered architecture
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Flexible Semantic-Based Service Matchmaking and Discovery
World Wide Web
Ontology-based artefact management in automotive electronics
International Journal of Computer Integrated Manufacturing - Integrated Design of Product and Processes
A Reasoning Framework for Rule-Based WSML
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
GoodRelations: An Ontology for Describing Products and Services Offers on the Web
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Goal-oriented service selection
Proceedings of the 2nd international conference on Theory and practice of electronic governance
Semantic Service Discovery by Consistency-Based Matchmaking
APWeb/WAIM '09 Proceedings of the Joint International Conferences on Advances in Data and Web Management
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Supporting Frameworks for the Geospatial Semantic Web
SSTD '09 Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
A platform to evaluate the technology for service discovery in the semantic web
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
An Ontology for the Implementation of the EU Services Directive
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Reconciling description logics and rules
Journal of the ACM (JACM)
Towards ontology-driven information systems: redesign and formalization of the REA ontology
BIS'07 Proceedings of the 10th international conference on Business information systems
Data quality enhancement of databases using ontologies and inductive reasoning
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
A General Framework for Web Content Filtering
World Wide Web
A Prolog-based Query Language for OWL
Electronic Notes in Theoretical Computer Science (ENTCS)
Data & Knowledge Engineering
Extending XQuery for semantic web reasoning
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Monitoring conformance to the internal regulation of an MSc course using ontologies and rules
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
XBRL taxonomies and OWL ontologies for investment funds
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
OWL2Jess: a transformational implementation of the OWL semantics
ISPA'05 Proceedings of the 2005 international conference on Parallel and Distributed Processing and Applications
Ontological modeling of virtual organization agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Can OWL and logic programming live together happily ever after?
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Semantic and computational advantages of the safe integration of ontologies and rules
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Agents and knowledge interoperability in the semantic web era
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Ontology constraints in incomplete and complete data
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Hi-index | 0.00 |
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages had hoped for. OWL has a number of problems in the area of interoperability and usability in the context of many practical application scenarios which impede the connection to the Software Engineering and Database communities. In this paper we present OWL Flight, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style common in databases. This results in different types of modeling primitives and enforces a different style of ontology modeling. We analyze the modeling paradigms of OWL DL and OWL Flight, as well as reasoning tasks supported by both languages. We argue that different applications on the Semantic Web require different styles of modeling and thus both types of languages are required for the Semantic Web.