IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Description logics with aggregates and concrete domains
Information Systems
Parsing owl dl: trees or triples?
Proceedings of the 13th international conference on World Wide Web
Using OWL to model biological knowledge
International Journal of Human-Computer Studies
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Metalevel information in ontology-based applications
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Building the semantic web tower from RDF straw
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Web Semantics: Science, Services and Agents on the World Wide Web
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
Swoop: A Web Ontology Editing Browser
Web Semantics: Science, Services and Agents on the World Wide Web
On the properties of metamodeling in OWL
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
A little semantic web goes a long way in biology
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Who the Heck Is the Father of Bob?
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A Mathematical Approach to Ontology Authoring and Documentation
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
The Metalist Model: A Simple and Extensible Information Model for the Future Internet
EUNICE '09 Proceedings of the 15th Open European Summer School and IFIP TC6.6 Workshop on The Internet of the Future
An OWL Ontology for Fuzzy OWL 2
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Regular path queries in expressive description logics with nominals
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Mapping Relational Databases to the Semantic Web with Original Meaning
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Incremental Classification of Description Logics Ontologies
Journal of Automated Reasoning
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Anomalies in ontologies with rules
Web Semantics: Science, Services and Agents on the World Wide Web
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Web Semantics: Science, Services and Agents on the World Wide Web
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
SOWL: spatio-temporal representation, reasoning and querying over the semantic web
Proceedings of the 6th International Conference on Semantic Systems
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
Combining description logics, description graphs, and rules
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
Expressive approximations in DL-lite ontologies
AIMSA'10 Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
Supporting concurrent ontology development: Framework, algorithms and tool
Data & Knowledge Engineering
Relationships and data sanitization: a study in scarlet
Proceedings of the 2010 workshop on New security paradigms
Short communication: Reasoning with part-part relations in a description logic
Knowledge-Based Systems
JustBench: a framework for OWL benchmarking
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Semantic techniques for enabling knowledge reuse in conceptual modelling
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Expressiveness requirements for reasoning about collection/item metadata relationships
Proceedings of the 2011 iConference
SPARSE: A symptom-based antipattern retrieval knowledge-based system using Semantic Web technologies
Expert Systems with Applications: An International Journal
LexInfo: A declarative model for the lexicon-ontology interface
Web Semantics: Science, Services and Agents on the World Wide Web
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Towards managing software architectures with ontologies
Graph transformations and model-driven engineering
A semantic privacy-preserving model for data sharing and integration
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Data & Knowledge Engineering
OWL 2 modeling and reasoning with complex human activities
Pervasive and Mobile Computing
On-demand conversation customization for services in large smart environments
IBM Journal of Research and Development
Fuzzy ontology representation using OWL 2
International Journal of Approximate Reasoning
Developing protégé to structure medical report
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: applications and services - Volume Part IV
Topicality in logic-based ontologies
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
A modeling method and declarative language for temporal reasoning based on fluid qualities
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
DeLorean: A reasoner for fuzzy OWL 2
Expert Systems with Applications: An International Journal
Temporal reasoning for supporting temporal queries in OWL 2.0
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Fuzzy logic, annotation domains and semantic web languages
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Extending logic programs with description logic expressions for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Categorising logical differences between OWL ontologies
Proceedings of the 20th ACM international conference on Information and knowledge management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Frame-based ontological view for semantic integration
Journal of Network and Computer Applications
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
Tractable Extensions of the Description Logic ${\mathcal{EL}}$ with Numerical Datatypes
Journal of Automated Reasoning
Generalized fuzzy rough description logics
Information Sciences: an International Journal
The role of concept, context, and component for dependable software development
ICFCA'10 Proceedings of the 8th international conference on Formal Concept Analysis
Representing and querying validity time in RDF and OWL: A logic-based approach
Web Semantics: Science, Services and Agents on the World Wide Web
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Tractable extensions of the description logic EL with numerical datatypes
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
An ontology for computer-based decision support in rehabilitation
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Enhancing ontology-based antipattern detection using Bayesian networks
Expert Systems with Applications: An International Journal
f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Consequence-based reasoning beyond horn ontologies
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
An ontology for enterprise and information systems modelling
Applied Ontology
Modelling structured domains using description graphs and logic programming
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
An ontology for enterprise and information systems modelling
Applied Ontology
A new matchmaking approach based on abductive conjunctive query answering
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
An abductive CQA based matchmaking system for finding renting houses
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
Context provenance to enhance the dependability of ambient intelligence systems
Personal and Ubiquitous Computing
Completeness guarantees for incomplete ontology reasoners: theory and practice
Journal of Artificial Intelligence Research
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Providing metrics and automatic enhancement for hierarchical taxonomies
Information Processing and Management: an International Journal
MORe: modular combination of OWL reasoners for ontology classification
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Predicting reasoning performance using ontology metrics
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
A semantic role labelling-based framework for learning ontologies from Spanish documents
Expert Systems with Applications: An International Journal
Ontology relation alignment based on attribute semantics
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
A knowledge-driven approach to composite activity recognition in smart environments
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
Towards Practical ABox Abduction in Large Description Logic Ontologies
International Journal on Semantic Web & Information Systems
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
Reasoning over ontologies with hidden content: the import-by-query approach
Journal of Artificial Intelligence Research
Web Semantics: Science, Services and Agents on the World Wide Web
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
Cloud-Marketplaces: Distributed e-procurement for the AEC sector
Advanced Engineering Informatics
Scalable RDF graph querying using cloud computing
Journal of Web Engineering
Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Journal of Computer and System Sciences
A probabilistic ontological framework for the recognition of multilevel human activities
Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing
Engineering optimisations in query rewriting for OBDA
Proceedings of the 9th International Conference on Semantic Systems
Aggregation operators for fuzzy ontologies
Applied Soft Computing
Automatic data transformation: breaching the walled gardens of social network platforms
APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143
OBDA and intermodal logistics: active projects and applications
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Probabilistic reasoning with undefined properties in ontologically-based belief networks
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access: An application to intermodal logistics
Information Systems Frontiers
Creating a semantically-enhanced cloud services environment through ontology evolution
Future Generation Computer Systems
Acyclicity notions for existential rules and their application to query answering in ontologies
Journal of Artificial Intelligence Research
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Ontology-based annotation and retrieval of services in the cloud
Knowledge-Based Systems
Query rewriting under query refinements
Knowledge-Based Systems
Representing and Reasoning About XML with Ontologies
Applied Intelligence
Consequence-based and fixed-parameter tractable reasoning in description logics
Artificial Intelligence
Generating natural language descriptions from OWL ontologies: the natural OWL system
Journal of Artificial Intelligence Research
A formal ontology for a generalized inventive design methodology
Applied Ontology
International Journal of Knowledge-based and Intelligent Engineering Systems - Selected papers of KES2012-Part 1 of 2
| Hi-index | 0.01 |
Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OWL has been quite positive in general; however, it has also revealed room for improvement in several areas. We systematically analyze the identified shortcomings of OWL, such as expressivity issues, problems with its syntaxes, and deficiencies in the definition of OWL species. Furthermore, we present an overview of OWL 2-an extension to and revision of OWL that is currently being developed within the W3C OWL Working Group. Many aspects of OWL have been thoroughly reengineered in OWL 2, thus producing a robust platform for future development of the language.