Browse Books

Cima G, Lembo D, Marconi L, Rosati R and Savo D (2024). A Gentle Introduction to Controlled Query Evaluation in DL-Lite Ontologies, SN Computer Science, 5:4, Online publication date: 27-Mar-2024.

Kupke C, Pattinson D and Schröder L (2022). Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics, ACM Transactions on Computational Logic, 23:2, (1-34), Online publication date: 30-Apr-2022.

Steigmiller A and Glimm B Parallelised ABox Reasoning and Query Answering with Expressive Description Logics The Semantic Web, (23-39)

Zhao H, Parsia B and Sattler U ReAD: AD-Based Modular Ontology Classification Logics in Artificial Intelligence, (210-224)

Bourahla Y, Atencia M and Euzenat J Knowledge Improvement and Diversity under Interaction-Driven Adaptation of Learned Ontologies Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, (242-250)

Chen Y, Kokar M, Moskal J and Suresh D (2021). Mapping spectrum consumption models to cognitive radio ontology for automatic inference, Analog Integrated Circuits and Signal Processing, 106:1, (9-21), Online publication date: 1-Jan-2021.

Jiang Y (2020). Semantically-enhanced information retrieval using multiple knowledge sources, Cluster Computing, 23:4, (2925-2944), Online publication date: 1-Dec-2020.

Cima G, Lembo D, Marconi L, Rosati R and Savo D Controlled Query Evaluation in Ontology-Based Data Access The Semantic Web – ISWC 2020, (128-146)

Kryvyi S and Grinenko E (2020). Ecosystems of Software Engineering, Cybernetics and Systems Analysis, 56:4, (628-640), Online publication date: 1-Jul-2020.

Hausmann D and Schröder L NP Reasoning in the Monotone -Calculus Automated Reasoning, (482-499)

Pasi G and Peñaloza R Query Answering in Fuzzy DL-Lite with Graded Axioms Rules and Reasoning, (39-53)

Ryzhikov V, Wałęga P and Zakharyaschev M Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course Reasoning Web. Declarative Artificial Intelligence, (109-148)

Ozaki A On the Complexity of Learning Description Logic Ontologies Reasoning Web. Declarative Artificial Intelligence, (36-52)

Peñaloza R Introduction to Probabilistic Ontologies Reasoning Web. Declarative Artificial Intelligence, (1-35)

Nalon C, Dixon C and Hustadt U (2019). Modal Resolution, ACM Transactions on Computational Logic, 20:4, (1-38), Online publication date: 31-Oct-2019.

Britz K and Varzinczak I (2019). Contextual rational closure for defeasible $\mathcal {ALC}$ , Annals of Mathematics and Artificial Intelligence, 87:1-2, (83-108), Online publication date: 1-Oct-2019.

Bozzato L, Eiter T and Serafini L Reasoning on with Defeasibility in ASP Rules and Reasoning, (19-35)

Carbonnel J, Huchard M and Nebut C Exploring the Variability of Interconnected Product Families with Relational Concept Analysis Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B, (199-206)

Del-Pinto W and Schmidt R Extending Forgetting-Based Abduction Using Nominals Frontiers of Combining Systems, (185-202)

Peñaloza R Making Decisions with Knowledge Base Repairs Modeling Decisions for Artificial Intelligence, (259-271)

Britz K and Varzinczak I Preferential Tableaux for Contextual Defeasible Automated Reasoning with Analytic Tableaux and Related Methods, (39-57)

Zhang Y and Sheng V (2019). Fog-enabled Event Processing Based on IoT Resource Models, IEEE Transactions on Knowledge and Data Engineering, 31:9, (1707-1721), Online publication date: 1-Sep-2019.

Lembo D, Rosati R and Savo D Revisiting controlled query evaluation in description logics Proceedings of the 28th International Joint Conference on Artificial Intelligence, (1786-1792)

Ceylan İ, Lukasiewicz T, Malizia E and Vaicenavičius A Explanations for query answers under existential rules Proceedings of the 28th International Joint Conference on Artificial Intelligence, (1639-1646)

Carral D, Dragoste I, Krötzsch M and Lewe C Chasing sets Proceedings of the 28th International Joint Conference on Artificial Intelligence, (1624-1631)

Jiang Y (2019). A formal model of semantic computing, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 23:14, (5411-5429), Online publication date: 1-Jul-2019.

Reynaud J, Toussaint Y and Napoli A Using Redescriptions and Formal Concept Analysis for Mining Definitions in Linked Data Formal Concept Analysis, (241-256)

Couceiro M and Napoli A Elements About Exploratory, Knowledge-Based, Hybrid, and Explainable Knowledge Discovery Formal Concept Analysis, (3-16)

Lenzerini M Direct and Reverse Rewriting in Data Interoperability Advanced Information Systems Engineering, (3-13)

Fanizzi N, Rizzo G and d’Amato C Boosting DL Concept Learners The Semantic Web, (68-83)

Güzel Kalayci E, Brandt S, Calvanese D, Ryzhikov V, Xiao G and Zakharyaschev M (2019). Ontology–based access to temporal data with Ontop, International Journal of Applied Mathematics and Computer Science, 29:1, (17-30), Online publication date: 1-Mar-2019.

Wang C, Feng Z, Zhang X, Wang X, Rao G and Fu D (2019). ComR, Frontiers of Computer Science: Selected Publications from Chinese Universities, 13:1, (139-156), Online publication date: 1-Feb-2019.

Delgrande J, Peppas P and Woltran S (2018). General Belief Revision, Journal of the ACM, 65:5, (1-34), Online publication date: 31-Oct-2018.

Cucala D, Grau B and Horrocks I Consequence-based reasoning for description logics with disjunction, inverse roles, number restrictions and nominals Proceedings of the 27th International Joint Conference on Artificial Intelligence, (1970-1976)

Amendola G, Leone N, Manna M and Veltri P Enhancing existential rules by closed-world variables Proceedings of the 27th International Joint Conference on Artificial Intelligence, (1676-1682)

Baader F, Borgwardt S and Forkel W Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering Companion Proceedings of the The Web Conference 2018, (1069-1074)

Matentzoglu N, Parsia B and Sattler U (2018). OWL Reasoning, Journal of Automated Reasoning, 60:4, (385-419), Online publication date: 1-Apr-2018.

Minervini P, Tresp V, D'amato C and Fanizzi N (2017). Adaptive Knowledge Propagation in Web Ontologies, ACM Transactions on the Web, 12:1, (1-28), Online publication date: 5-Feb-2018.

Mehdi G, Kharlamov E, Savković O, Xiao G, Kalayci E, Brandt S, Horrocks I, Roshchin M and Runkler T SemDia Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, (2507-2510)

Kharlamov E, Savkoviý O, Xiao G, Penaloza R, Mehdi G, Roshchin M and Horrocks I Semantic Rules for Machine Diagnostics Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, (2131-2134)

Lamy J and Soualmia L (2017). Formalization of the semantics of iconic languages, Knowledge-Based Systems, 135:C, (159-179), Online publication date: 1-Nov-2017.

Liu F and You J (2017). Three-valued semantics for hybrid MKNF knowledge bases revisited, Artificial Intelligence, 252:C, (123-138), Online publication date: 1-Nov-2017.

Alharbi E, Howse J, Stapleton G, Hamie A and Touloumis A The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments The Semantic Web – ISWC 2017, (20-36)

De Giacomo G, Lembo D, Oriol X, Savo D and Teniente E Practical Update Management in Ontology-Based Data Access The Semantic Web – ISWC 2017, (225-242)

Wild P and Schröder L A characterization theorem for a modal description logic Proceedings of the 26th International Joint Conference on Artificial Intelligence, (1304-1310)

Lembo D, Rosati R, Santarelli V, Savo D and Thorstensen E Mapping repair in ontology-based data access evolving systems Proceedings of the 26th International Joint Conference on Artificial Intelligence, (1160-1166)

Ceylan I, Lukasiewicz T, Peñaloza R and Tifrea-Marciuska O Query answering in ontologies under preference rankings Proceedings of the 26th International Joint Conference on Artificial Intelligence, (943-949)

Tinelli E, Colucci S, Donini F, Sciascio E and Giannini S (2017). Embedding semantics in human resources management automation via SQL, Applied Intelligence, 46:4, (952-982), Online publication date: 1-Jun-2017.

Rizzo G, d’Amato C, Fanizzi N and Esposito F Terminological Cluster Trees for Disjointness Axiom Discovery The Semantic Web, (184-201)

Hernich A, Lutz C, Papacchini F and Wolter F Dichotomies in Ontology-Mediated Querying with the Guarded Fragment Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (185-199)

Benedikt M, Konstantinidis G, Mecca G, Motik B, Papotti P, Santoro D and Tsamoura E Benchmarking the Chase Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (37-52)

Ruiz-Sarmiento J, Galindo C and Gonzalez-Jimenez J (2017). Building Multiversal Semantic Maps for Mobile Robot Operation, Knowledge-Based Systems, 119:C, (257-272), Online publication date: 1-Mar-2017.

Keet C and Khumalo L (2017). Toward a knowledge-to-text controlled natural language of isiZulu, Language Resources and Evaluation, 51:1, (131-157), Online publication date: 1-Mar-2017.

Ceylan İ and Peñaloza R (2017). The Bayesian Ontology Language $$\mathcal {BEL}$$BEL, Journal of Automated Reasoning, 58:1, (67-95), Online publication date: 1-Jan-2017.

Schuppan V (2016). Enhancing unsatisfiable cores for LTL with information on temporal relevance, Theoretical Computer Science, 655:PB, (155-192), Online publication date: 6-Dec-2016.

Lisi F A Model+Solver Approach to Concept Learning AI*IA 2016 Advances in Artificial Intelligence, (266-279)

Rizzo G, Fanizzi N, Lehmann J and Bühmann L Integrating New Refinement Operators in Terminological Decision Trees Learning Knowledge Engineering and Knowledge Management, (511-526)

Rizzo G, d’Amato C, Fanizzi N and Esposito F Approximating Numeric Role Fillers via Predictive Clustering Trees for Knowledge Base Enrichment in the Web of Data Discovery Science, (101-117)

Du H, Dimitrova V, Magee D, Stirling R, Curioni G, Reeves H, Clarke B and Cohn A An Ontology of Soil Properties and Processes The Semantic Web – ISWC 2016, (30-37)

Carral D, Feier C and Hitzler P A Practical Acyclicity Notion for Query Answering Over Horn- Ontologies The Semantic Web – ISWC 2016, (70-85)

Suchanek F, Menard C, Bienvenu M and Chapellier C Can You Imagine... A Language for Combinatorial Creativity? The Semantic Web – ISWC 2016, (532-548)

Bettaz O, Boustia N and Mokhtari A (2016). Dynamic Delegation Based on Temporal Context, Procedia Computer Science, 96:C, (245-254), Online publication date: 1-Oct-2016.

Gangemi A, Recupero D, Mongiovì M, Nuzzolese A and Presutti V (2016). Identifying motifs for evaluating open knowledge extraction on the Web, Knowledge-Based Systems, 108:C, (33-41), Online publication date: 15-Sep-2016.

Borgwardt S and Peñaloza R (2016). Reasoning in Fuzzy Description Logics using Automata, Fuzzy Sets and Systems, 298:C, (22-43), Online publication date: 1-Sep-2016.

Micalizio R and Pozzato G A typicality-based revision to handle exceptions in description logics Proceedings of the Twenty-second European Conference on Artificial Intelligence, (1650-1651)

Ceylan İ, Lukasiewicz T and Peñaloza R Complexity results for probabilistic datalog± Proceedings of the Twenty-second European Conference on Artificial Intelligence, (1414-1422)

Byamugisha J, Keet C and Derenzi B Bootstrapping a Runyankore CNL from an isiZulu CNL Proceedings of the 5th International Workshop on Controlled Natural Language - Volume 9767, (25-36)

Ahmetaj S, Ortiz M and Šimkus M Polynomial datalog rewritings for expressive description logics with closed predicates Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (878-885)

Freitas F and Otten J A Connection Calculus for the Description Logic $$ {\mathcal{ALC}} $$ Proceedings of the 29th Canadian Conference on Artificial Intelligence on Advances in Artificial Intelligence - Volume 9673, (243-256)

Benedikt M, Cate B and Boom M (2015). Effective Interpolation and Preservation in Guarded Logics, ACM Transactions on Computational Logic, 17:2, (1-46), Online publication date: 28-Mar-2016.

Autili M, Bertolino A, De Angelis G, Ruscio D and Sandro A (2016). A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models, IEEE Transactions on Software Engineering, 42:1, (2-25), Online publication date: 1-Jan-2016.

Duran-Limon H, Garcia-Rios C, Castillo-Barrera F and Capilla R (2015). An Ontology-Based Product Architecture Derivation Approach, IEEE Transactions on Software Engineering, 41:12, (1153-1168), Online publication date: 1-Dec-2015.

Slota M, Leite J and Swift T (2015). On updates of hybrid knowledge bases composed of ontologies and rules, Artificial Intelligence, 229:C, (33-104), Online publication date: 1-Dec-2015.

Parsia B, Alsubait T, Leo J, Malaisé V, Forge S, Gregory M and Allen A Lifting EMMeT to OWL Getting the Most from SKOS Revised Selected Papers of the 12th International Experiences and Directions Workshop on Ontology Engineering - Volume 9557, (69-80)

Borgwardt S and Peñaloza R Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics Proceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 9322, (49-65)

Baader F, Brewka G and Gil O Adding Threshold Concepts to the Description Logic $\mathcal{EL}$ Proceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 9322, (33-48)

Böhme S and Lippmann M Decidable Description Logics of Context with Rigid Roles Proceedings of the 10th International Symposium on Frontiers of Combining Systems - Volume 9322, (17-32)

Botoeva E, Kontchakov R, Ryzhikov V, Wolter F and Zakharyaschev M When are description logic knowledge bases indistinguishable Proceedings of the 24th International Conference on Artificial Intelligence, (4240-4246)

Zhuang Z, Wang Z, Wang K and Delgrande J Extending AGM contraction to arbitrary logics Proceedings of the 24th International Conference on Artificial Intelligence, (3299-3305)

Kaminski T, Knorr M and Leite J Efficient paraconsistent reasoning with ontologies and rules Proceedings of the 24th International Conference on Artificial Intelligence, (3098-3105)

Hansen P, Lutz C, Seylan I and Wolter F Efficient query rewriting in the description logic EL and beyond Proceedings of the 24th International Conference on Artificial Intelligence, (3034-3040)

Bennaceur A and Issarny V (2015). Automated Synthesis of Mediators to Support Component Interoperability, IEEE Transactions on Software Engineering, 41:3, (221-240), Online publication date: 1-Mar-2015.

Christoff Z and Hansen J (2015). A logic for diffusion in social networks, Journal of Applied Logic, 13:1, (48-77), Online publication date: 1-Mar-2015.

Bienvenu M, Cate B, Lutz C and Wolter F (2014). Ontology-Based Data Access, ACM Transactions on Database Systems, 39:4, (1-44), Online publication date: 30-Dec-2015.

Patel-Schneider P Analyzing Schema.org The Semantic Web – ISWC 2014, (261-276)

Calvanese D, Eiter T and Ortiz M (2014). Answering regular path queries in expressive Description Logics via alternating tree-automata, Information and Computation, 237, (12-55), Online publication date: 1-Oct-2014.

Ludwig M and Peñaloza R Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$ Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761, (107-121)

Casini G, Meyer T, Moodley K and Nortjé R Relevant Closure Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761, (92-106)

Ceylan İ and Peñaloza R Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$ Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761, (77-91)

Borgwardt S, Leyva Galano J and Peñaloza R The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761, (62-76)

Steigmiller A, Liebig T and Glimm B (2014). Konclude, Web Semantics: Science, Services and Agents on the World Wide Web, 27:C, (78-85), Online publication date: 1-Aug-2014.

Bhatt M, Schultz C and Thosar M Computing narratives of cognitive user experience for building design analysis KR for industry scale computer-aided architecture design Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (508-517)

Botoeva E, Kontchakov R, Ryzhikov V, Wolter F and Zakharyaschev M Query inseparability for description logic knowledge bases Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (238-247)

Borgwardt S, Distel F and Peñaloza R Decidable Gödel description logics without the finitely-valued model property Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (228-237)

Gottlob G, Rudolph S and Simkus M Expressiveness of guarded existential rule languages Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (27-38)

Luz N, Pereira C, Silva N, Novais P, Teixeira A and Oliveira E Silva M An Ontology for Human-Machine Computation Workflow Specification Proceedings of the 9th International Conference on Hybrid Artificial Intelligence Systems - Volume 8480, (49-60)

Akama K and Nantajeewarawat E Equivalent Transformation in an Extended Space for Solving Query-Answering Problems Proceedings, Part I, of the 6th Asian Conference on Intelligent Information and Database Systems - Volume 8397, (232-241)

Akama K and Nantajeewarawat E An ET-Based Low-Level Solution for Query-Answering Problems Proceedings of the 7th International Workshop on Multi-disciplinary Trends in Artificial Intelligence - Volume 8271, (1-12)

Colucci S, Donini F and Sciascio E Common Subsumbers in RDF Proceeding of the XIIIth International Conference on AI*IA 2013: Advances in Artificial Intelligence - Volume 8249, (348-359)

Zhu J, Qi G and Suntisrivaraporn B Tableaux Algorithms for Expressive Possibilistic Description Logics Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 01, (227-232)

Harbelot B, Arenas H and Cruz C Continuum Proceedings of the 4th ACM SIGSPATIAL International Workshop on GeoStreaming, (76-85)

Poelmans J, Kuznetsov S, Ignatov D and Dedene G (2013). Review, Expert Systems with Applications: An International Journal, 40:16, (6601-6623), Online publication date: 1-Nov-2013.

Bozzato L, Homola M and Serafini L ExpTime Tableaux Algorithm for Contextualized $\mathcal{ALC}$ Proceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context - Volume 8175, (199-212)

Noia T, Lukasiewicz T, Martinez M, Simari G and Tifrea-Marciuska O Ontological CP-Nets Revised Selected Papers of the ISWC International Workshops on Uncertainty Reasoning for the Semantic Web III - Volume 8816, (289-308)

Cozman F, Polastro R, Takiyama F and Revoredo K Computing Inferences for Relational Bayesian Networks Based on $$\mathcal {ALC}$$ Constructs Revised Selected Papers of the ISWC International Workshops on Uncertainty Reasoning for the Semantic Web III - Volume 8816, (21-40)

Chabane Y, d'Orazio L, Gruenwald L, Mohamad B and Rey C (2013). Medical data management in the SYSEO project, ACM SIGMOD Record, 42:3, (48-53), Online publication date: 17-Oct-2013.

Bennaceur A, Chilton C, Isberner M and Jonsson B Automated Mediator Synthesis Proceedings of the 11th International Conference on Software Engineering and Formal Methods - Volume 8137, (274-288)

Kharlamov E, Zheleznyakov D and Calvanese D (2013). Capturing model-based ontology evolution at the instance level, Journal of Computer and System Sciences, 79:6, (835-872), Online publication date: 1-Sep-2013.

Heras S, Botti V and Julián V ArgCBROnto Proceedings of the Second international conference on Agreement Technologies, (105-119)

Carral D, Wang C and Hitzler P Towards an efficient algorithm to reason over description logics extended with nominal schemas Proceedings of the 7th international conference on Web Reasoning and Rule Systems, (65-79)

Binnewies S, Wang Y, Stantic B and Wang K Rule revision in normal DL logic programs Proceedings of the 7th international conference on Web Reasoning and Rule Systems, (204-209)

Wang Y, Eiter T, You J, Yuan L and Shen Y Eliminating nonmonotonic DL-Atoms in description logic programs Proceedings of the 7th international conference on Web Reasoning and Rule Systems, (168-182)

Luz N, Silva N and Novais P A Method for Defining Human-Machine Micro-task Workflows for Gathering Legal Information Revised Selected Papers of the AICOL 2013 International Workshops on AI Approaches to the Complexity of Legal Systems - Volume 8929, (275-289)

GröNer G, BošKović M, Silva Parreiras F and GašEvić D (2013). Modeling and validation of business process families, Information Systems, 38:5, (709-726), Online publication date: 1-Jul-2013.

Rector A Axioms & templates Proceedings of the seventh international conference on Knowledge capture, (73-80)

Bienvenu M, ten Cate B, Lutz C and Wolter F Ontology-based data access Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of database systems, (213-224)

Alferes J, Knorr M and Swift T (2013). Query-Driven Procedures for Hybrid MKNF Knowledge Bases, ACM Transactions on Computational Logic, 14:2, (1-43), Online publication date: 1-Jun-2013.

Zarri G (2013). Advanced computational reasoning based on the NKRL conceptual model, Expert Systems with Applications: An International Journal, 40:8, (2872-2888), Online publication date: 1-Jun-2013.

Schulz S and Martínez-Costa C How Ontologies Can Improve Semantic Interoperability in Health Care Revised Selected Papers of the AIME 2013 Joint Workshop on Process Support and Knowledge Representation in Health Care - Volume 8268, (1-10)

Di Marco A, Inverardi P and Spalazzese R Synthesizing self-adaptive connectors meeting functional and performance concerns Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (133-142)

Ryssel U, Ploennigs J and Kabitzsch K (2012). Reasoning of feature models from derived features, ACM SIGPLAN Notices, 48:3, (21-30), Online publication date: 10-Apr-2013.

Tenorth M and Beetz M (2013). KnowRob, International Journal of Robotics Research, 32:5, (566-590), Online publication date: 1-Apr-2013.

Minervini P, Fanizzi N, d'Amato C and Esposito F Rank prediction for semantically annotated resources Proceedings of the 28th Annual ACM Symposium on Applied Computing, (333-338)

Santarelli V and Lembo D Towards efficient and practical solutions for ontology-based data management Proceedings of the Joint EDBT/ICDT 2013 Workshops, (23-30)

Krötzsch M, Rudolph S and Hitzler P (2013). Complexities of Horn Description Logics, ACM Transactions on Computational Logic, 14:1, (1-36), Online publication date: 1-Feb-2013.

Lamy J, Soualmia L, Kerdelhué G, Venot A and Duclos C (2013). Validating the semantics of a medical iconic language using ontological reasoning, Journal of Biomedical Informatics, 46:1, (56-67), Online publication date: 1-Feb-2013.

Giordano L, Gliozzi V, Olivetti N and Pozzato G (2013). A non-monotonic Description Logic for reasoning about typicality, Artificial Intelligence, 195, (165-202), Online publication date: 1-Feb-2013.

Calvanese D, De Giacomo G, Lembo D, Lenzerini M and Rosati R (2013). Data complexity of query answering in description logics, Artificial Intelligence, 195, (335-360), Online publication date: 1-Feb-2013.

Buehrer D and Wang C CA-ABAC Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03, (220-225)

Britz K, Meyer T and Varzinczak I Normal modal preferential consequence Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence, (505-516)

Tinelli E, Colucci S, Giannini S, Di Sciascio E and Donini F Large scale skill matching through knowledge compilation Proceedings of the 20th international conference on Foundations of Intelligent Systems, (192-201)

Kollia I and Glimm B Cost based query ordering over OWL ontologies Proceedings of the 11th international conference on The Semantic Web - Volume Part I, (231-246)

Jung J and Lutz C Ontology-based access to probabilistic data with OWL QL Proceedings of the 11th international conference on The Semantic Web - Volume Part I, (182-197)

Grimm S, Watzke M, Hubauer T and Cescolini F Embedded EL + reasoning on programmable logic controllers Proceedings of the 11th international conference on The Semantic Web - Volume Part II, (66-81)

Bennaceur A, Issarny V, Spalazzese R and Tyagi S Achieving interoperability through semantics-based technologies Proceedings of the 11th international conference on The Semantic Web - Volume Part II, (17-33)

Minervini P, d’Amato C, Fanizzi N and Esposito F Learning Probabilistic Description Logic Concepts Under Alternative Assumptions on Incompleteness Uncertainty Reasoning for the Semantic Web III, (184-201)

d'Amato C, Bryl V and Serafini L Semantic knowledge discovery from heterogeneous data sources Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management, (26-31)

Moodley K, Meyer T and Varzinczak I A defeasible reasoning approach for description logic ontologies Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (69-78)

Halland K and Britz K ABox abduction in ALC using a DL tableau Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (51-58)

Straccia U and Madrid N (2012). A top-k query answering procedure for fuzzy logic programming, Fuzzy Sets and Systems, 205, (1-29), Online publication date: 1-Oct-2012.

Ryssel U, Ploennigs J and Kabitzsch K Reasoning of feature models from derived features Proceedings of the 11th International Conference on Generative Programming and Component Engineering, (21-30)

Slota M and Leite J A unifying perspective on knowledge updates Proceedings of the 13th European conference on Logics in Artificial Intelligence, (372-384)

Issarny V and Bennaceur A Composing Distributed Systems Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866, (168-196)

Borgwardt S and Peñaloza R A tableau algorithm for fuzzy description logics over residuated de morgan lattices Proceedings of the 6th international conference on Web Reasoning and Rule Systems, (9-24)

Nikitina N and Rudolph S On the (non-)succinctness of uniform interpolation in general EL terminologies Proceedings of the 6th international conference on Web Reasoning and Rule Systems, (246-249)

Nguyen T, Vo B, Lumpe M and Grundy J REInDetector: a framework for knowledge-based requirements engineering Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, (386-389)

Filho J, Barais O, Baudry B, Viana W and Andrade R An approach for semantic enrichment of software product lines Proceedings of the 16th International Software Product Line Conference - Volume 2, (188-195)

Neruda R and Šlapák M Evolving decision strategies for computational intelligence agents Proceedings of the 8th international conference on Intelligent Computing Theories and Applications, (213-220)

Negru S SemaKoDE Proceedings of the 12th international conference on Web Engineering, (448-451)

Baader F, Mendez J and Morawska B UEL Proceedings of the 6th international joint conference on Automated Reasoning, (45-51)

Steigmiller A, Liebig T and Glimm B Extended caching, backjumping and merging for expressive description logics Proceedings of the 6th international joint conference on Automated Reasoning, (514-529)

Gröner G, Asadi M, Mohabbati B, Gašević D, Silva Parreiras F and Bošković M Validation of user intentions in process models Proceedings of the 24th international conference on Advanced Information Systems Engineering, (366-381)

Podsiadly-Marczykowska T and Goszczynska H Ontology of EEG mapping --- preliminary research Proceedings of the Third international conference on Information Technologies in Biomedicine, (183-198)

Grau B, Horrocks I, Krötzsch M, Kupke C, Magka D, Motik B and Wang Z Acyclicity conditions and their application to query answering in description logics Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, (243-253)

Thomazo M, Baget J, Mugnier M and Rudolph S A generic querying algorithm for greedy sets of existential rules Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning, (96-106)

Alberti M, Knorr M, Gomes A, Leite J, Gonçalves R and Slota M Normative systems require hybrid knowledge bases Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3, (1425-1426)

Kollia I, Rapantzikos K, Stamou G and Stafylopatis A Semantic query answering in digital libraries Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications, (17-24)

Rashwan A Semantic analysis of functional and non-functional requirements in software requirements specifications Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence, (388-391)

Carral Martínez D and Hitzler P Extending description logic rules Proceedings of the 9th international conference on The Semantic Web: research and applications, (345-359)

Magka D, Motik B and Horrocks I Modelling structured domains using description graphs and logic programming Proceedings of the 9th international conference on The Semantic Web: research and applications, (330-344)

McBrien P, Rizopoulos N and Smith A Type inference methods and performance for data in an RDBMS Proceedings of the 4th International Workshop on Semantic Web Information Management, (1-8)

Motik B, Horrocks I and Kim S Delta-reasoner Proceedings of the 21st International Conference on World Wide Web, (63-72)

Tinelli E, Colucci S, Di Sciascio E and Donini F Knowledge compilation for automated Team Composition exploiting standard SQL Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1680-1685)

Gorín D and Schröder L Narcissists are easy, stepmothers are hard Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures, (240-254)

Fletcher G, Gyssens M, Leinders D, Van den Bussche J, Van Gucht D, Vansummeren S and Wu Y The impact of transitive closure on the boolean expressiveness of navigational query languages on graphs Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems, (124-143)

Rezk M and Kifer M Formalizing production systems with rule-based ontologies Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems, (332-351)

Liu B, Li J and Zhao Y (2012). Repairing and reasoning with inconsistent and uncertain ontologies, Advances in Engineering Software, 45:1, (380-390), Online publication date: 1-Mar-2012.

Otto M (2012). Highly acyclic groups, hypergraph covers, and the guarded fragment, Journal of the ACM, 59:1, (1-40), Online publication date: 1-Feb-2012.

Garrido J and Requena I (2012). Towards summarizing knowledge, Expert Systems with Applications: An International Journal, 39:3, (3213-3222), Online publication date: 1-Feb-2012.

Costantini S, Formisano A and Pearce D Strong equivalence of RASP programs Correct Reasoning, (149-163)

Kollia I, Tzouvaras V, Drosopoulos N and Stamou G (2012). A systemic approach for effective semantic access to cultural content, Semantic Web, 3:1, (65-83), Online publication date: 1-Jan-2012.

Calvanese D, De Giacomo G, Lenzerini M and Rosati R (2012). View-based query answering in Description Logics, Journal of Computer and System Sciences, 78:1, (26-46), Online publication date: 1-Jan-2012.

Blair G, Bennaceur A, Georgantas N, Grace P, Issarny V, Nundloll V and Paolucci M The role of ontologies in emergent middleware Proceedings of the 12th International Middleware Conference, (400-419)

Blair G, Bennaceur A, Georgantas N, Grace P, Issarny V, Nundloll V and Paolucci M The role of ontologies in emergent middleware Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware, (410-430)

Loebe F Ontological usage schemes a working proposal for the ontological foundation of language use Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions, (193-202)

Sengupta K, Krisnadhi A and Hitzler P Local closed world semantics Proceedings of the 10th international conference on The semantic web - Volume Part I, (617-632)

Krötzsch M and Speiser S ShareAlike your data Proceedings of the 10th international conference on The semantic web - Volume Part I, (354-369)

Fokoue A, Srivatsa M and Young R Trust-based probabilistic query answering Proceedings of the 12th international conference on Web information system engineering, (57-71)

Noessner J, Niepert M and Stuckenschmidt H Coherent top-k ontology alignment for OWL EL Proceedings of the 5th international conference on Scalable uncertainty management, (415-427)

Schon C Linkless normal form for ALC concepts and TBoxes Proceedings of the 34th Annual German conference on Advances in artificial intelligence, (301-312)

Sadri F (2011). Ambient intelligence, ACM Computing Surveys, 43:4, (1-66), Online publication date: 1-Oct-2011.

Braga C, Menezes R, Comicio T, Santos C and Landim E On the specification, verification and implementation of model transformations with transformation contracts Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications, (108-123)

Chmielewski M and Stąpor P Protégé based environment for DL knowledge base structural analysis Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I, (314-325)

Ławrynowicz A, Potoniec J, Konieczny Ł, Madziar M, Nowak A and Pawlak K ASPARAGUS - a system for automatic SPARQL query results aggregation using semantics Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part I, (304-313)

Frixione M and Lieto A Combining description logics and typicality effects in formal ontologies Proceedings of the 12th international conference on Artificial intelligence around man and beyond, (401-406)

Frixione M and Lieto A Combining Description Logics and Typicality Effects in Formal Ontologies Proceedings of the XIIth International Conference on AI*IA 2011: Artificial Intelligence Around Man and Beyond - Volume 6934, (401-406)

Rezk M and Nutt W Combining production systems and ontologies Proceedings of the 5th international conference on Web reasoning and rule systems, (287-293)

Moodley K, Meyer T and Varzinczak I Root justifications for ontology repair Proceedings of the 5th international conference on Web reasoning and rule systems, (275-280)

Lembo D, Lenzerini M, Rosati R, Ruzzi M and Savo D Query rewriting for inconsistent DL-lite ontologies Proceedings of the 5th international conference on Web reasoning and rule systems, (155-169)

Krisnadhi A, Maier F and Hitzler P OWL and rules Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (382-415)

Rudolph S Foundations of description logics Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (76-136)

Duran-Limon H, Castillo-Barrera F and Lopez-Herrejon R Towards an ontology-based approach for deriving product architectures Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-5)

Ruta M, Di Sciascio E and Scioscia F (2011). Concept abduction and contraction in semantic-based P2P environments, Web Intelligence and Agent Systems, 9:3, (179-207), Online publication date: 1-Aug-2011.

Tah J and Abanda H (2011). Sustainable building technology knowledge representation, Advanced Engineering Informatics, 25:3, (547-558), Online publication date: 1-Aug-2011.

Porello D and Endriss U Ontology merging as social choice Proceedings of the 12th international conference on Computational logic in multi-agent systems, (157-170)

Lisi F (2011). AL-QuIn, International Journal on Semantic Web & Information Systems, 7:3, (1-22), Online publication date: 1-Jul-2011.

Manataki A and Chen-Burger Y A meta-model of business interaction for assisting intelligent workflow systems Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications, (692-701)

Redavid D, Ferilli S and Esposito F SWRL rules plan encoding with OWL-S composite services Proceedings of the 19th international conference on Foundations of intelligent systems, (476-482)

Ławrynowicz A and Potoniec J Fr-ONT Proceedings of the 19th international conference on Foundations of intelligent systems, (428-437)

Więch P, Rybinski H and Ryżko D DDLD-based reasoning for MAS Proceedings of the 19th international conference on Foundations of intelligent systems, (182-191)

Ouziri M and Benbernou S Learning on semantic social networks Proceedings of the 15th international conference on Artificial intelligence in education, (522-524)

Studer T Justified terminological reasoning Proceedings of the 8th international conference on Perspectives of System Informatics, (349-361)

Gröner G, Wende C, Bošković M, Parreiras F, Walter T, Heidenreich F, Gašević D and Staab S Validation of families of business processes Proceedings of the 23rd international conference on Advanced information systems engineering, (551-565)

Fong P and Siahaan I Relationship-based access control policies and their policy languages Proceedings of the 16th ACM symposium on Access control models and technologies, (51-60)

Gómez-Romero J, Patricio M, García J and Molina J (2011). Ontology-based context representation and reasoning for object tracking and scene interpretation in video, Expert Systems with Applications: An International Journal, 38:6, (7494-7510), Online publication date: 1-Jun-2011.

Kollia I Optimizing query answering over OWL ontologies Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II, (513-517)

Paar A and Vrandečić D Zhi# Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II, (315-329)

Grimm S and Wissmann J Elimination of redundancy in ontologies Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I, (260-274)

Tsarouchis C and Lewis D Balancing system expressivity and user cognitive load in semantically enhanced policy modelling Proceedings of the 8th international conference on The Semantic Web, (241-252)

Rizzo G, Fanizzi N, d'Amato C and Esposito F Prediction of class and property assertions on OWL ontologies through evidence combination Proceedings of the International Conference on Web Intelligence, Mining and Semantics, (1-9)

Schugerl P Scalable clone detection using description logic Proceedings of the 5th International Workshop on Software Clones, (47-53)

Weber-Jahnke J, Williams J and Kuziemsky C Reducing the footprint of certifiable health software during early stage development Proceedings of the 3rd Workshop on Software Engineering in Health Care, (24-31)

Thorne C Querying the fragments of english Proceedings of the 18th international conference on Logic, language, information and computation, (257-271)

Fanizzi N (2011). Concept Induction in Description Logics Using Information-Theoretic Heuristics, International Journal on Semantic Web & Information Systems, 7:2, (23-44), Online publication date: 1-Apr-2011.

Krötzsch M, Maier F, Krisnadhi A and Hitzler P A better uncle for OWL Proceedings of the 20th international conference on World wide web, (645-654)

Fletcher G, Gyssens M, Leinders D, Van den Bussche J, Van Gucht D, Vansummeren S and Wu Y Relative expressive power of navigational querying on graphs Proceedings of the 14th International Conference on Database Theory, (197-207)

Fanizzi N, d'Amato C and Esposito F (2011). Composite ontology matching with uncertain mappings recovery, ACM SIGAPP Applied Computing Review, 11:2, (17-29), Online publication date: 1-Mar-2011.

Jiang Y, Liu H, Tang Y and Chen Q (2011). Semantic decision making using ontology-based soft sets, Mathematical and Computer Modelling: An International Journal, 53:5-6, (1140-1149), Online publication date: 1-Mar-2011.

Krüger U, Gabdulkhakova A, König-Ries B and Beckstein C Semantic services for information and management support in mass casualty incident scenarios Proceedings of the 2010 international conference on Towards a service-based internet, (59-66)

Xu W, Liu W, Fu J and Liu Z Research on semantic web reasoning based on event ontology Proceedings of the 2010 international conference on New horizons in web-based learning, (91-101)

Eißing D, Scherp A and Saathoff C Integration of existing multimedia metadata formats and metadata standards in the M3O Proceedings of the 5th international conference on Semantic and digital media technologies, (48-63)

Goczyła K, Piotrowski P, Waloszek A, Waloszek W and Zawadzka T Terminological and assertional queries in KQL knowledge access language Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III, (102-111)

Jiang Y Description logics over multisets Proceedings of the 6th International Conference on Uncertainty Reasoning for the Semantic Web - Volume 654, (1-12)

Shchekotykhin K and Friedrich G Query strategy for sequential ontology debugging Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (696-712)

Motik B Representing and querying validity time in RDF and OWL Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (550-565)

Horridge M, Parsia B and Sattler U Justification oriented proofs in OWL Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (354-369)

Glimm B, Rudolph S and Völker J Integrated metamodeling and diagnosis in OWL 2 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (257-272)

Fokoue A, Srivatsa M and Young R Assessing trust in uncertain information Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (209-224)

Bonatti P, Faella M and Sauro L EL with default attributes and overriding Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I, (64-79)

Giudice N, Walton L and Worboys M The informatics of indoor and outdoor space Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness, (47-53)

Paredes-Moreno A, Martínez-López F and Schwartz D (2010). A methodology for the semi-automatic creation of data-driven detailed business ontologies, Information Systems, 35:7, (758-773), Online publication date: 1-Nov-2010.

Makris K, Gioldasis N, Bikakis N and Christodoulakis S Ontology mapping and SPARQL rewriting for querying federated RDF data sources Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II, (1108-1117)

Polastro R, Corrêa F, Cozman F and Okamoto J Semantic mapping with a probabilistic description logic Proceedings of the 20th Brazilian conference on Advances in artificial intelligence, (62-71)

Gröner G and Staab S Specialization and validation of statecharts in OWL Proceedings of the 17th international conference on Knowledge engineering and management by the masses, (360-370)

Klinov P, Parsia B and Picado-Muiño D The consistency of the CADIAG-2 knowledge base Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning, (432-446)

Fokoue A, Srivatsa M and Young R Assessing trust in uncertain information using Bayesian description logic Proceedings of the 17th ACM conference on Computer and communications security, (675-677)

Matsokis A and Kiritsis D (2010). An ontology-based approach for Product Lifecycle Management, Computers in Industry, 61:8, (787-797), Online publication date: 1-Oct-2010.

Kontchakov R, Wolter F and Zakharyaschev M (2010). Logic-based ontology comparison and module extraction, with an application to DL-Lite, Artificial Intelligence, 174:15, (1093-1141), Online publication date: 1-Oct-2010.

d'Amato C, Fanizzi N, Fazzinga B, Gottlob G and Lukasiewicz T Combining semantic web search with the power of inductive reasoning Proceedings of the 4th international conference on Scalable uncertainty management, (137-150)

Krötzsch M, Rudolph S and Schmitt P On the semantic relationship between datalog and description logics Proceedings of the Fourth international conference on Web reasoning and rule systems, (88-102)

do Amaral F Usability of a visual language for DL concept descriptions Proceedings of the Fourth international conference on Web reasoning and rule systems, (27-41)

Nagel H Vision, logic, and language - toward analyzable encompassing systems Proceedings of the 33rd annual German conference on Advances in artificial intelligence, (1-22)

Kasneci G, Van Gael J, Herbrich R and Graepel T Bayesian knowledge corroboration with logical rules and user feedback Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II, (1-18)

Fanizzi N, d'Amato C and Esposito F Induction of concepts in web ontologies through terminological decision trees Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I, (442-457)

Botoeva E, Calvanese D and Rodriguez-Muro M Expressive approximations in DL-lite ontologies Proceedings of the 14th international conference on Artificial intelligence: methodology, systems, and applications, (21-31)

Ławrynowicz A, D'Amato C and Fanizzi N A refinement operator based method for semantic grouping of conjunctive query results Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III, (359-368)

Kaplunova A, Möller R, Wandelt S and Wessel M Towards scalable instance retrieval over ontologies Proceedings of the 4th international conference on Knowledge science, engineering and management, (436-448)

Hois J Modularizing spatial ontologies for assisted living systems Proceedings of the 4th international conference on Knowledge science, engineering and management, (424-435)

Zambach S and Hansen J Logical knowledge representation of regulatory relations in biomedical pathways Proceedings of the First international conference on Information technology in bio- and medical informatics, (186-200)

Kumar V, Gress C, Hadwin A and Winne P (2010). Assessing process in CSCL, Computers in Human Behavior, 26:5, (825-834), Online publication date: 1-Sep-2010.

Schröder L and Venema Y Flat coalgebraic fixed point logics Proceedings of the 21st international conference on Concurrency theory, (524-538)

Tserendorj T, Grimm S and Hitzler P Approximate instance retrieval on ontologies Proceedings of the 21st international conference on Database and expert systems applications: Part I, (503-511)

Krieger H and Schäfer U DL meet FL Proceedings of the 23rd International Conference on Computational Linguistics: Posters, (588-596)

Hudelot C, Atif J and Bloch I Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (497-502)

Wang Z, Wang K, Topor R and Zhang X Tableau-based Forgetting in ALC Ontologies Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (47-52)

Jiang Y, Tang Y, Wang J and Tang S (2010). Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies, Expert Systems with Applications: An International Journal, 37:8, (6052-6060), Online publication date: 1-Aug-2010.

Pozzato G Conditional and Preferential Logics Proceedings of the 2010 conference on Conditional and Preferential Logics: Proof Methods and Theorem Proving, (1-200)

Motik B Combining description logics, description graphs, and rules Proceedings of the 18th international conference on Conceptual structures: from information to intelligence, (10-12)

Magka D, Kazakov Y and Horrocks I Tractable extensions of the description logic EL with numerical datatypes Proceedings of the 5th international conference on Automated Reasoning, (61-75)

Goré R, Kupke C, Pattinson D and Schröder L Global caching for coalgebraic description logics Proceedings of the 5th international conference on Automated Reasoning, (46-60)

Glimm B, Horrocks I and Motik B Optimized description logic reasoning via core blocking Proceedings of the 5th international conference on Automated Reasoning, (457-471)

Ruta M, Scioscia F, Ieva S and Di Sciascio E T2.O.M. T.O.M. Proceedings of the 10th international conference on Current trends in web engineering, (199-210)

Cadenhead T, Kantarcioglu M and Thuraisingham B Scalable and efficient reasoning for enforcing role-based access control Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy, (209-224)

Walter T, Parreiras F, Staab S and Ebert J Joint language and domain engineering Proceedings of the 6th European conference on Modelling Foundations and Applications, (321-336)

Motik B and Rosati R (2008). Reconciling description logics and rules, Journal of the ACM, 57:5, (1-62), Online publication date: 1-Jun-2010.

Weber I, Hoffmann J and Mendling J (2010). Beyond soundness, Distributed and Parallel Databases, 27:3, (271-343), Online publication date: 1-Jun-2010.

Kärger P and Siberski W Guarding a walled garden — semantic privacy preferences for the social web Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II, (151-165)

Liu W, Xu W, Fu J, Liu Z and Zhong Z An extended description logic for event ontology Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing, (471-481)

Wandelt S and Moeller R Distributed island-based query answering for expressive ontologies Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing, (461-470)

Baget J, Leclère M and Mugnier M Walking the decidability line for rules with existential variables Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (466-476)

Qi G and Zhang Z Preferential semantics for plausible subsumption in possibility theory Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (404-412)

Ortiz M, Rudolph S and Šimkus M Worst-case optimal reasoning for the Horn-DL fragments of OWL 1 and 2 Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (269-279)

Glimm B and Rudolph S Status QIO Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (225-235)

Grau B and Motik B Pushing the limits of reasoning over ontologies with hidden content Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (214-224)

Baader F, Bienvenu M, Lutz C and Wolter F Query and predicate emptiness in description logics Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, (192-202)

Paar A Searching and using external types in an extensible software development environment Proceedings of 2010 ICSE Workshop on Search-driven Development: Users, Infrastructure, Tools and Evaluation, (37-40)

Saathoff C and Scherp A Unlocking the semantics of multimedia presentations in the web with the multimedia metadata ontology Proceedings of the 19th international conference on World wide web, (831-840)

Zhao X and Huang Z Checking structural integrity for metadata repository systems by means of description logics Proceedings of the 15th international conference on Database systems for advanced applications, (118-129)

Esposito F, d'Amato C and Fanizzi N (2010). Fuzzy Clustering for Semantic Knowledge Bases, Fundamenta Informaticae, 99:2, (187-205), Online publication date: 1-Apr-2010.

Farsiniamarj N and Haarslev V (2010). Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬, AI Communications, 23:2-3, (205-240), Online publication date: 1-Apr-2010.

Fanizzi N, d'Amato C and Esposito F Towards the induction of terminological decision trees Proceedings of the 2010 ACM Symposium on Applied Computing, (1423-1427)

Calvanese D, Keet C, Nutt W, Rodríguez-Muro M and Stefanoni G Web-based graphical querying of databases through an ontology Proceedings of the 2010 ACM Symposium on Applied Computing, (1388-1395)

Jiang Y, Tang Y, Chen Q, Wang J and Tang S (2010). Extending soft sets with description logics, Computers & Mathematics with Applications, 59:6, (2087-2096), Online publication date: 1-Mar-2010.

Djuric D, Jovanovic J, Devadzic V and Sendelj R Modeling ontologies as executable domain specific languages Proceedings of the 3rd India software engineering conference, (83-92)

Fazzinga B, Gianforme G, Gottlob G and Lukasiewicz T Semantic Web Search Based on Ontological Conjunctive Queries Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems - Volume 5956, (153-172)

Lutz C and Wolter F (2010). Deciding inseparability and conservative extensions in the description logic EL, Journal of Symbolic Computation, 45:2, (194-228), Online publication date: 1-Feb-2010.

Baggi M, Ballis D and Falaschi M An access control language based on term rewriting and description logic Proceedings of the 19th international conference on Functional and constraint logic programming, (66-83)

Morik K Nemoz Ubiquitous knowledge discovery, (199-215)

Hai R, Theißen M and Marquardt W An extensible modeling language for the representation of work processes in the chemical and process industries Graph transformations and model-driven engineering, (655-682)

Morik K Nemoz Ubiquitous knowledge discovery, (199-215)

Greco S and Lisi F Logic programming languages for databases and the web A 25-year perspective on logic programming, (183-203)

Oliver I, Howse J, Stapleton G, Nuutila E and Törmä S Visualizing and specifying ontologies using diagrammatic logics Proceedings of the Fifth Australasian Ontology Workshop - Volume 112, (37-46)

Lehmann J (2009). DL-Learner: Learning Concepts in Description Logics, The Journal of Machine Learning Research, 10, (2639-2642), Online publication date: 1-Dec-2009.

Haav H, Kaljuvee A, Luts M and Vajakas T Ontology-Based Retrieval of Spatially Related Objects for Location Based Services Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II, (1010-1024)

Chen L, Hu H and Shi Z Reasoning about Web Services with Local Closed World Assumption Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01, (367-370)

Ruta M, Scioscia F, Noia T and Sciascio E Reasoning in Pervasive Environments Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01, (145-148)

Noia T, Sciascio E and Donini F Computing Information Minimal Match Explanations for Logic-Based Matchmaking Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02, (411-418)

d'Amato C, Fanizzi N, Esposito F and Lukasiewicz T Approximate Classification of Semantically Annotated Web Resources Exploiting Pseudo-metrics Induced by Local Models Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01, (689-692)

Kaneiwa K and Mizoguchi R (2009). Distributed reasoning with ontologies and rules in order-sorted logic programming, Web Semantics: Science, Services and Agents on the World Wide Web, 7:3, (252-270), Online publication date: 1-Sep-2009.

Kopena J, Regli W and Loo B Message models and aggregation in knowledge based middleware for rich sensor systems Proceedings of the Sixth International Workshop on Data Management for Sensor Networks, (1-6)

Ruta M, Scioscia F, Di Noia T, Di Sciascio E and Piscitelli G Ubiquitous knowledge-based framework for RFID semantic discovery in smart u-Commerce environments Proceedings of the 11th International Conference on Electronic Commerce, (9-18)

Giordano L, Olivetti N, Gliozzic V and Pozzato G (2009). ALC + T: a Preferential Extension of Description Logics, Fundamenta Informaticae, 96:3, (341-372), Online publication date: 1-Aug-2009.

Giordano L, Olivetti N, Gliozzic V and Pozzato G (2009). ALC + T: a Preferential Extension of Description Logics, Fundamenta Informaticae, 96:3, (341-372), Online publication date: 1-Aug-2009.

Pathak J, Johnson T and Chute C (2009). Survey of modular ontology techniques and their applications in the biomedical domain, Integrated Computer-Aided Engineering, 16:3, (225-242), Online publication date: 1-Aug-2009.

Kadouche R, Abdulrazak B, Mokhtari M, Giroux S and Pigot H (2009). A semantic approach for accessible services delivery in a smart environment, International Journal of Web and Grid Services, 5:2, (192-218), Online publication date: 1-Aug-2009.

Guo Q and Zhang M (2009). Question answering based on pervasive agent ontology and Semantic Web, Knowledge-Based Systems, 22:6, (443-448), Online publication date: 1-Aug-2009.

Kazakov Y Consequence-driven reasoning for horn SHIQ ontologies Proceedings of the 21st International Joint Conference on Artificial Intelligence, (2040-2045)

Seylan I, Franconi E and De Bruijn J Effective query rewriting with ontologies over DBoxes Proceedings of the 21st International Joint Conference on Artificial Intelligence, (923-929)

Schröoder L, Pattinson D and Kupke C Nominals for everyone Proceedings of the 21st International Joint Conference on Artificial Intelligence, (917-922)

Donini F, Colucci S, Di Noia T and Di Sciascio E A tableaux-based method for computing least common subsumers for expressive description logics Proceedings of the 21st International Joint Conference on Artificial Intelligence, (739-745)

Baget J, Leclère M, Mugnier M and Salvat Ê Extending decidable cases for rules with existential variables Proceedings of the 21st International Joint Conference on Artificial Intelligence, (677-682)

Lange C and Kohlhase M A Mathematical Approach to Ontology Authoring and Documentation Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics, (389-404)

Lisi F and Esposito F Nonmonotonic onto-relational learning Proceedings of the 19th international conference on Inductive logic programming, (88-95)

Thorne C and Calvanese D Controlled English ontology-based data access Proceedings of the 2009 conference on Controlled natural language, (135-154)

Schwitter R Anaphora resolution involving interactive knowledge acquisition Proceedings of the 2009 conference on Controlled natural language, (36-55)

Fokoue A, Srivatsa M, Rohatgi P, Wrobel P and Yesberg J A decision support system for secure information sharing Proceedings of the 14th ACM symposium on Access control models and technologies, (105-114)

Fanizzi N, D'Amato C and Esposito F ReduCE Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications, (323-337)

Lösch U, Rudolph S, Vrandečić D and Studer R Tempus Fugit Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications, (278-292)

Doran P, Tamma V, Payne T and Palmisano I Using ontology modularization for efficient negotiation over ontology correspondences in MAS Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems, (236-255)

Ragone A, Di Noia T, Donini F, Di Sciascio E and Wellman M Computing utility from weighted description logic preference formulas Proceedings of the 7th international conference on Declarative Agent Languages and Technologies, (158-173)

Madden N and Logan B Modularity and compositionality in Jason Proceedings of the 7th international conference on Programming multi-agent systems, (237-253)

Yang D, Miao R, Wu H and Zhou Y (2009). Product configuration knowledge modeling using ontology web language, Expert Systems with Applications: An International Journal, 36:3, (4399-4411), Online publication date: 1-Apr-2009.

Baggi M (2009). An Ontology-based System for Semantic Filtering of XML Data, Electronic Notes in Theoretical Computer Science (ENTCS), 235, (19-33), Online publication date: 1-Apr-2009.

Myers R, Pattinson D and Schröder L Coalgebraic Hybrid Logic Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures - Volume 5504, (137-151)

Hsu I (2009). SXRS, Expert Systems with Applications: An International Journal, 36:2, (3795-3804), Online publication date: 1-Mar-2009.

Chi Y (2009). A consumer-centric design approach to develop comprehensive knowledge-based systems for keyword discovery, Expert Systems with Applications: An International Journal, 36:2, (2481-2493), Online publication date: 1-Mar-2009.

Kim S, Ahn K and Choi H An adaptable question-answer system using match of multi-sphere knowledge Proceedings of the 11th international conference on Advanced Communication Technology - Volume 3, (2219-2224)

Paar A, Reuter J, Soldatos J, Stamatis K and Polymenakos L (2009). A formally specified ontology management API as a registry for ubiquitous computing systems, Applied Intelligence, 30:1, (37-46), Online publication date: 1-Feb-2009.

Drabent W, Eiter T, Ianni G, Krennwallner T, Lukasiewicz T and Małuszyński J Hybrid reasoning with rules and ontologies Semantic techniques for the web, (1-49)

Tavakolifard M, Knapskog S and Herrmann P Cross-Situation Trust Reasoning Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03, (67-71)

Palmisano I, Tamma V, Iannone L, Payne T and Doran P Dynamic Change Evaluation for Ontology Evolution in the Semantic Web Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01, (34-40)

Fanizzi N, D'Amato C and Esposito F Approximate Measures of Semantic Dissimilarity under Uncertainty Uncertainty Reasoning for the Semantic Web I, (348-365)

D'Amato C, Fanizzi N and Esposito F Analogical Reasoning in Description Logics Uncertainty Reasoning for the Semantic Web I, (330-347)

Kadouche R, Mokhtari M, Giroux S and Abdulrazak B Semantic approach for modelling an assistive environment using description logic Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, (222-231)

Breaux T, Antón A and Doyle J (2008). Semantic parameterization, ACM Transactions on Software Engineering and Methodology, 18:2, (1-27), Online publication date: 1-Nov-2008.

Bobillo F, Delgado M and Gómez-Romero J (2008). Representation of context-dependant knowledge in ontologies, Expert Systems with Applications: An International Journal, 35:4, (1899-1908), Online publication date: 1-Nov-2008.

Karagiannis G Semantically annotating and querying databases Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems, (461-468)

do Amaral F Visualizing the semantics (not the syntax) of concept descriptions Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web, (336-341)

Colucci S, Di Sciascio E, Donini F and Tinelli E Finding informative commonalities in concept collections Proceedings of the 17th ACM conference on Information and knowledge management, (807-817)

Schröder L and Pattinson D How many toes do I have? parthood and number restrictions in description logics Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (307-317)

Motik B, Grau B, Horrocks I and Sattler U Representing structured objects using description graphs Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (296-306)

Glimm B, Horrocks I and Sattler U Unions of conjunctive queries in SHOQ Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (252-262)

Bienvenu M Complexity of abduction in the EL family of lightweight description logics Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, (220-230)

Eiter T, Ianni G, Krennwallner T and Polleres A Rules and Ontologies for the Semantic Web Reasoning Web, (1-53)

Fanizzi N, D'Amato C and Esposito F Evolutionary Clustering in Description Logics Proceedings of the 19th international conference on Database and Expert Systems Applications, (808-821)

Gehrke J Evaluating situation awareness of autonomous systems Proceedings of the 8th Workshop on Performance Metrics for Intelligent Systems, (206-213)

Ruta M, Di Noia T, Di Sciascio E, Piscitelli G and Scioscia F A semantic-based mobile registry for dynamic RFID-based logistics support Proceedings of the 10th international conference on Electronic commerce, (1-9)

Motik B and Horrocks I Individual Reuse in Description Logic Reasoning Proceedings of the 4th international joint conference on Automated Reasoning, (242-258)

Lutz C The Complexity of Conjunctive Query Answering in Expressive Description Logics Proceedings of the 4th international joint conference on Automated Reasoning, (179-193)

de Bruijn J and Heymans S (2008). On the Relationship between Description Logic-based and F-Logic-based Ontologies, Fundamenta Informaticae, 82:3, (213-236), Online publication date: 1-Aug-2008.

de Bruijn J and Heymans S (2008). On the Relationship between Description Logic-based and F-Logic-based Ontologies, Fundamenta Informaticae, 82:3, (213-236), Online publication date: 15-Jul-2008.

Coulet A, Smail-Tabbone M, Napoli A and Devignes M Role Assertion Analysis Proceedings of the 2008 conference on STAIRS 2008: Proceedings of the Fourth Starting AI Researchers' Symposium, (47-58)

Bouchard B, Roy P, Bouzouane A, Giroux S and Mihailidis A An Activity Recognition Model for Alzheimer's Patients Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, (811-812)

Knorr M, Alferes J and Hitzler P A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, (99-103)

Rahwan I and Banihashemi B Arguments in OWL Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008, (297-310)

Poesio M and Almuhareb A Extracting concept descriptions from the Web Proceedings of the 2008 conference on Ontology Learning and Population: Bridging the Gap between Text and Knowledge, (29-44)

Ruta M, Di Noia T, Di Sciascio E, Paolucci M, Scioscia F and Tinelli E A semantic-based registry enabling discovery, composition and substitution of pervasive services Proceedings of the Seventh ACM International Workshop on Data Engineering for Wireless and Mobile Access, (63-70)

Fanizzi N, d'Amato C and Esposito F Conceptual clustering and its application to concept drift and novelty detection Proceedings of the 5th European semantic web conference on The semantic web: research and applications, (318-332)

d'Amato C, Fanizzi N and Esposito F Query answering and ontology population Proceedings of the 5th European semantic web conference on The semantic web: research and applications, (288-302)

Wang Z, Wang K, Topor R and Pan J Forgetting concepts in DL-lite Proceedings of the 5th European semantic web conference on The semantic web: research and applications, (245-257)

Pichler R, Polleres A, Wei F and Woltran S dRDF Proceedings of the 5th European semantic web conference on The semantic web: research and applications, (200-214)

Guo Q and Zhang M Question answering system based on ontology and semantic web Proceedings of the 3rd international conference on Rough sets and knowledge technology, (652-659)

Ghilardi S, Nicolini E and Zucchelli D (2008). A comprehensive combination framework, ACM Transactions on Computational Logic, 9:2, (1-54), Online publication date: 1-Mar-2008.

Vázquez-Salceda J, Aldewereld H, Grossi D and Dignum F (2008). From human regulations to regulated software agents' behavior, Artificial Intelligence and Law, 16:1, (73-87), Online publication date: 1-Mar-2008.

Bellandi A, Furletti B, Grossi V and Romei A Ontological support for Association Rule Mining Proceedings of the 26th IASTED International Conference on Artificial Intelligence and Applications, (110-115)

Glimm B, Horrocks I, Lutz C and Sattler U (2008). Conjunctive query answering for the description logic SHIQ, Journal of Artificial Intelligence Research, 31:1, (157-204), Online publication date: 1-Jan-2008.

Ruta M, Di Noia T, Di Sciascio E and Donini F (2007). Semantic based collaborative P2P in ubiquitous computing, Web Intelligence and Agent Systems, 5:4, (375-391), Online publication date: 1-Dec-2007.

Jarrar M Mapping ORM into the SHOIN/OWL description logic Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I, (729-741)

Jarrar M Mapping ORM into the SHOIN/OWL Description Logic On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, (729-741)

Schmidt R and Tishkovsky D Using tableau to decide expressive description logics with role negation Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference, (438-451)

Ragone A, Di Noia T, Di Sciascio E and Donini F Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplaces Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference, (395-408)

Fanizzi N, d'Amato C and Esposito F Randomized metric induction and evolutionary conceptual clustering for semantic knowledge bases Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, (51-60)

Yang F and Chen X Integrating rules and description logics with circumscription for the semantic web Proceedings of the 2007 international conference on Advances in rule interchange and applications, (182-189)

Yang F and Chen X Integrating Rules and Description Logics with Circumscription for the Semantic Web Advances in Rule Interchange and Applications, (182-189)

Pinyol I and Sabater-Mir J Arguing about Reputation: The LRep Language Engineering Societies in the Agents World VIII, (284-299)

Kazakov Y, Sattler U and Zolin E How many legs do i have? Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning, (303-317)

Kazakov Y, Sattler U and Zolin E How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited Logic for Programming, Artificial Intelligence, and Reasoning, (303-317)

Pahl C, Giesecke S and Hasselbring W An ontology-based approach for modelling architectural styles Proceedings of the First European conference on Software Architecture, (60-75)

Rossetto A, Borges V, Silva A and Dantas M SuMMIT - A framework for coordinating applications execution in mobile grid environments Proceedings of the 8th IEEE/ACM International Conference on Grid Computing, (129-136)

Esposito F, Fanizzi N and D'Amato C Conceptual clustering applied to ontologies Proceedings of the 3rd ECML/PKDD international conference on Mining complex data, (42-56)

Fanizzi N and d'Amato C A hierarchical clustering method for semantic knowledge bases Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part III, (653-660)

Fanizzi N and D'Amato C Inductive concept retrieval and query answering with semantic knowledge bases through kernel methods Proceedings of the 11th international conference, KES 2007 and XVII Italian workshop on neural networks conference on Knowledge-based intelligent information and engineering systems: Part I, (148-155)

Parreiras F, Staab S and Winter A On marrying ontological and metamodeling technical spaces Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (439-448)

Henninger S and Corrêa V Software pattern communities Proceedings of the 14th Conference on Pattern Languages of Programs, (1-19)

Kottmann N and Studer T Improving semantic query answering Proceedings of the 18th international conference on Database and Expert Systems Applications, (671-679)

Parreiras F, Staab S and Winter A On marrying ontological and metamodeling technical spaces The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, (439-448)

Ruta M, Di Noia T, Di Sciascio E, Piscitelli G and Scioscia F RFID meets bluetooth in a semantic based u-commerce environment Proceedings of the ninth international conference on Electronic commerce, (107-116)

Chi Y, Peng S and Yang C Creating Kansei engineering-based ontology for annotating and archiving photos database Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability, (701-710)

Motik B, Shearer R and Horrocks I Optimized Reasoning in Description Logics Using Hypertableaux Proceedings of the 21st international conference on Automated Deduction: Automated Deduction, (67-83)

Ben-David S, Trefler R and Weddell G Bounded Model Checking with Description Logic Reasoning Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, (60-72)

Rahwan I, Zablith F and Reed C (2007). Laying the foundations for a World Wide Argument Web, Artificial Intelligence, 171:10-15, (897-921), Online publication date: 1-Jul-2007.

Yang H, King J, Helal A and Jansen E A context-driven programming model for pervasive spaces Proceedings of the 5th international conference on Smart homes and health telematics, (31-43)

De Bruijn J and Heymans S A semantic framework for language layering in WSML Proceedings of the 1st international conference on Web reasoning and rule systems, (103-117)

Drabent W and Małuszyński J Well-founded semantics for hybrid rules Proceedings of the 1st international conference on Web reasoning and rule systems, (1-15)

Caillet M, Carrive J, Roisin C and Yvon F Engineering multimedia applications on the basis of multi-structured descriptions of audiovisual contents Proceedings of the 2007 international workshop on Semantically aware document processing and indexing, (31-40)

Grossi D, Dignum F and Meyer J A formal road from institutional norms to organizational structures Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, (1-8)

Di Noia T, Di Sciascio E and Donini F (2007). Semantic matchmaking as non-monotonic reasoning, Journal of Artificial Intelligence Research, 29:1, (269-307), Online publication date: 1-May-2007.

Tinelli E, Di Noia T, Di Sciascio E and Di Cugno F Efficient automatic selection of semantically-annotated building blocks for ERPs customizing Proceedings of the 10th international conference on Business information systems, (233-244)

Schmidt D (2007). Extracting Program Logics From Abstract Interpretations Defined by Logical Relations, Electronic Notes in Theoretical Computer Science (ENTCS), 173, (339-356), Online publication date: 1-Apr-2007.

Fanizzi N, d'Amato C and Esposito F Instance-based retrieval by analogy Proceedings of the 2007 ACM symposium on Applied computing, (1398-1402)

Rouane M, Huchard M, Napoli A and Valtchev P A proposal for combining formal concept analysis and description logics for mining relational data Proceedings of the 5th international conference on Formal concept analysis, (51-65)

Varasdi K, Gyarmathy Z, Simonyi A and Szeredi D (2007). Outlines of a model of general ontology, Acta Cybernetica, 18:2, (341-354), Online publication date: 1-Feb-2007.

Xu Y, Tang S, Yang Y and Xu Y Towards a Selective Inference Platform Based on OWL Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (544-547)

Toma I, Foxvog D and Jaeger M Modeling QoS characteristics in WSMO Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006), (42-47)

Casteleyn S, Plessers P and De Troyer O On generating content and structural annotated websites using conceptual modeling Proceedings of the 25th international conference on Conceptual Modeling, (267-280)

Lieber J, Napoli A, Szathmary L and Toussaint Y First elements on knowledge discovery guided by domain knowledge (KDDK) Proceedings of the 4th international conference on Concept lattices and their applications, (22-41)

Lieber J, Napoli A, Szathmary L and Toussaint Y First Elements on Knowledge Discovery Guided by Domain Knowledge (KDDK) Concept Lattices and Their Applications, (22-41)

Noguera M, Hurtado M and Garrido J An ontology-based scheme enabling the modeling of cooperation in business processes Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I, (863-872)

Palmisano I, Iannone L, Redavid D and Semeraro G Towards an inductive methodology for ontology alignment through instance negotiation Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I, (1058-1074)

Le D and Lau L An open architecture for ontology-enabled content management systems Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I, (772-790)

Rilling J, Zhang Y, Meng W, Witte R, Haarslev V and Charland P A unified ontology-based process model for software maintenance and comprehension Proceedings of the 2006 international conference on Models in software engineering, (56-65)

d'Amato C and Fanizzi N Lazy learning from terminological knowledge bases Proceedings of the 16th international conference on Foundations of Intelligent Systems, (570-579)

Fanizzi N and d'Amato C A declarative kernel for concept descriptions Proceedings of the 16th international conference on Foundations of Intelligent Systems, (322-331)

Nauer E and Napoli A A proposal for annotation, semantic similarity and classification of textual documents Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications, (201-212)

d'Amato C and Staab S Modeling, matching and ranking services based on constraint hardness Proceedings of the 2006 international conference on Business Process Management Workshops, (471-482)

Beltrán-Ferruz P, Díaz-Agudo B and Lagerquist O Retrieval over conceptual structures Proceedings of the 8th European conference on Advances in Case-Based Reasoning, (443-457)

Bao S, Zhang L, Lin C and Yu Y A semantic rewriting approach to automatic information providing web service composition Proceedings of the First Asian conference on The Semantic Web, (488-500)

Cali A and Kifer M Containment of conjunctive object meta-queries Proceedings of the 32nd international conference on Very large data bases, (942-952)

Yan W, Hou E and Ansari N (2006). Description logics for an autonomic IDS event analysis system, Computer Communications, 29:15, (2841-2852), Online publication date: 1-Sep-2006.

Neruda R Emerging hybrid computational models Proceedings of the 2006 international conference on Intelligent computing: Part II, (379-389)

Colucci S, Noia T, Sciascio E, Donini F, Ragone A and Rizzi R A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet, (174-184)

Pasha M, Ahmad H, Ali A and Suguri H Semantic grid Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems, (714-720)

Kemke C Natural language communication between human and artificial agents Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems, (84-93)

Chi Y and Lee H Building conceptual knowledge for managing learning paths in e-learning Proceedings of the First international conference on Knowledge Science, Engineering and Management, (66-77)

de Bruijn J, Eiter T, Polleres A and Tompits H On representational issues about combinations of classical theories with nonmonotonic rules Proceedings of the First international conference on Knowledge Science, Engineering and Management, (1-22)

Nilsson J Ontological constitutions for classes and properties Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application, (37-53)

Yu Y, Wang J, Wang T and Chen H Representing wholes by structure Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application, (441-454)

Pahl C Ontology-based composition and transformation for model-driven service architecture Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications, (198-212)

Stouppa P and Studer T A formal model of data privacy Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (400-408)

Fanizzi N, Iannone L, Di Mauro N and Esposito F Tractable feature generation through description logics with value and number restrictions Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems, (629-638)

Roche C Lexical and conceptual structures in ontology Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems, (1034-1041)

Colucci S, Di Noia T, Di Sciascio E, Donini F, Ragone A and Rizzi R Explanation services and request refinement in user friendly semantic-enabled b2c e-marketplaces Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services, (13-27)

Grimm S, Motik B and Preist C Matching semantic service descriptions with local closed-world reasoning Proceedings of the 3rd European conference on The Semantic Web: research and applications, (575-589)

Brooks C and Montanez N Improved annotation of the blogosphere via autotagging and hierarchical clustering Proceedings of the 15th international conference on World Wide Web, (625-632)

Laclavik M, Babik M, Balogh Z, Gatial E and Hluchy L Semantic Knowledge Model and Architecture for Agents in Discrete Environments Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy, (727-728)

d'Amato C, Fanizzi N and Esposito F A dissimilarity measure for ALC concept descriptions Proceedings of the 2006 ACM symposium on Applied computing, (1695-1699)

Jarrar M and Heymans S Unsatisfiability reasoning in ORM conceptual schemes Proceedings of the 2006 international conference on Current Trends in Database Technology, (517-534)

Wang K, Antoniou G, Topor R and Sattar A Merging and aligning ontologies in dl-programs Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web, (160-171)

Pahl C Layered ontological modelling for web service-oriented model-driven architecture Proceedings of the First European conference on Model Driven Architecture: foundations and Applications, (88-102)

ter Horst H Combining RDF and part of OWL with rules Proceedings of the 4th international conference on The Semantic Web, (668-684)

Motik B On the properties of metamodeling in OWL Proceedings of the 4th international conference on The Semantic Web, (548-562)

Hitzler P and Vrandečić D Resolution-Based approximate reasoning for OWL DL Proceedings of the 4th international conference on The Semantic Web, (383-397)

Heymans S, Van Nieuwenborgh D and Vermeir D Preferential reasoning on a web of trust Proceedings of the 4th international conference on The Semantic Web, (368-382)

Cebulla M Knowledge-based assessment of behavior in dynamic environments Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems, (17-26)

Paar A, Reuter J and Schaeffer J A pluggable architectural model and a formally specified programming language independent API for an ontological knowledge base server Proceedings of the 2005 Australasian Ontology Workshop - Volume 58, (83-91)

Pahl C Ontology transformation and reasoning for model-driven architecture Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II, (1170-1187)

Ramírez J and de Antonio A Consistency verification of the reasoning in a deliberative agent with respect to the communication protocols Proceedings of the 6th international conference on Engineering Societies in the Agents World, (89-105)

Heymans S, Van Nieuwenborgh D and Vermeir D Synthesis from temporal specifications using preferred answer set programming Proceedings of the 9th Italian conference on Theoretical Computer Science, (280-294)

Esposito F, Fanizzi N, Iannone L, Palmisano I and Semeraro G A counterfactual-based learning algorithm for ALC description logic Proceedings of the 9th conference on Advances in Artificial Intelligence, (406-417)

Ruta M, Di Noia T, Di Sciascio E, Donini F and Piscitelli G Semantic Based Collaborative P2P in Ubiquitous Computing Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence, (143-149)

Bry F, Lorenz B, Ohlbach H and Rosner M A geospatial world model for the semantic web Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning, (145-159)

Abelló A, de Palol X and Hacid M On the midpoint of a set of XML documents Proceedings of the 16th international conference on Database and Expert Systems Applications, (441-450)

Charatonik W, Georgieva L and Maier P Bounded model checking of pointer programs Proceedings of the 19th international conference on Computer Science Logic, (397-412)

Chi Y Constructing ontologies for sharing knowledge in digital archives Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics, (295-304)

Colucci S, Di Noia T, Di Sciascio E, Donini F and Ragone A Knowledge elicitation for query refinement in a semantic-enabled e-marketplace Proceedings of the 7th international conference on Electronic commerce, (685-691)

Tsarkov D and Horrocks I Ordering heuristics for description logic reasoning Proceedings of the 19th international joint conference on Artificial intelligence, (609-614)

Serafini L, Borgida A and Tamilin A Aspects of distributed and modular ontology reasoning Proceedings of the 19th international joint conference on Artificial intelligence, (570-575)

Hustadt U, Motik B and Sattler U Data complexity of reasoning in very expressive description logics Proceedings of the 19th international joint conference on Artificial intelligence, (466-471)

Bittner T and Donnelly M Computational ontologies of parthood, componenthood, and containment Proceedings of the 19th international joint conference on Artificial intelligence, (382-387)

Ashri R, Ramchurn S, Sabater J, Luck M and Jennings N Trust evaluation through relationship analysis Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (1005-1011)

Kifer M Rules and ontologies in f-logic Proceedings of the First international conference on Reasoning Web, (22-34)

Schlobach S Diagnosing terminologies Proceedings of the 20th national conference on Artificial intelligence - Volume 2, (670-675)

Benbernou S and Hacid M (2005). Resolution and Constraint Propagation for Semantic Web Services Discovery, Distributed and Parallel Databases, 18:1, (65-81), Online publication date: 1-Jul-2005.

Poesio M and Almuhareb A Identifying concept attributes using a classifier Proceedings of the ACL-SIGLEX Workshop on Deep Lexical Acquisition, (18-27)

Grossi D, Dignum F and Meyer J Contextual terminologies Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems, (284-302)

Iannone L and Palmisano I An algorithm based on counterfactuals for concept learning in the semantic web Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (370-379)

Coppi S, Di Noia T, Di Sciascio E, Donini F and Pinto A Ontology-based natural language parser for E-marketplaces Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (279-289)

Grossi D, Meyer J and Dignum F Modal logic investigations in the semantics of counts-as Proceedings of the 10th international conference on Artificial intelligence and law, (1-9)

Colucci S, Di Noia T, Di Sciascio E, Donini F and Ragone A Semantic-Based automated composition of distributed learning objects for personalized e-learning Proceedings of the Second European conference on The Semantic Web: research and Applications, (633-648)

Heymans S, Van Nieuwenborgh D and Vermeir D Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs Proceedings of the Second European conference on The Semantic Web: research and Applications, (392-407)

Burek P and Graboś R Dually structured concepts in the semantic web Proceedings of the Second European conference on The Semantic Web: research and Applications, (377-391)

Schlobach S Debugging and semantic clarification by pinpointing Proceedings of the Second European conference on The Semantic Web: research and Applications, (226-240)

Keller U, Lara R, Lausen H, Polleres A and Fensel D Automatic location of services Proceedings of the Second European conference on The Semantic Web: research and Applications, (1-16)

Cho J, Kim H and Han S Content-Oriented knowledge modeling for automated parts library ontology merging Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II, (324-333)

de Bruijn J, Lara R, Polleres A and Fensel D OWL DL vs. OWL flight Proceedings of the 14th international conference on World Wide Web, (623-632)

Curé O Semi-automatic data migration in a self-medication knowledge-based system Proceedings of the Third Biennial conference on Professional Knowledge Management, (373-383)

Ustymenko S Ontology-supported sharing and reuse of knowledge in diverse environments Proceedings of the 43rd annual ACM Southeast Conference - Volume 2, (347-348)

Colucci S, Noia T, Sciascio E, Donini F, Piscitelli G and Coppi S Knowledge based approach to semantic composition of teams in an organization Proceedings of the 2005 ACM symposium on Applied computing, (1314-1319)

Keller B, Owen T, Wakeman I, Weeds J and Weir D Middleware for User Controlled Environments Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops, (183-188)

Kvaløy T, Rongen E, Tirado-Ramos A and Sloot P Automatic composition and selection of semantic web services Proceedings of the 2005 European conference on Advances in Grid Computing, (184-192)

Bartolini C, Preist C and Jennings N A software framework for automated negotiation Software Engineering for Multi-Agent Systems III, (213-235)

Zarri G Integrating the two main inference modes of NKRL, transformations and hypotheses Journal on Data Semantics IV, (304-340)

Dou D, McDermott D and Qi P Ontology translation on the semantic web Journal on Data Semantics II, (35-57)

Barta R and Salzer G The τ model, formalizing topic maps Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43, (37-42)

Heine F, Hovestadt M and Kao O Towards Ontology-Driven P2P Grid Resource Discovery Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, (76-83)

Robinson J, Wakeman I and Owen T Scooby Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing, (161-166)

Grossi D, Dignum F and Meyer J Contextual taxonomies Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems, (33-51)

Knublauch H and Musen M Weaving the biomedical Semantic Web with the Protégé OWL plugin Proceedings of the First International Conference on Formal Biomedical Knowledge Representation - Volume 102, (39-47)

Carroll J, Dickinson I, Dollin C, Reynolds D, Seaborne A and Wilkinson K Jena Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, (74-83)

Lüttich K, Mossakowski T and Krieg-Brückner B Ontologies for the semantic web in CASL Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques, (106-125)

Colucci S, Noia T, Sciascio E, Mongiello M and Donini F Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace Proceedings of the 6th international conference on Electronic commerce, (41-50)

Horrocks I, Angele J, Decker S, Kifer M, Grosof B and Wagner G (2003). Where Are the Rules?, IEEE Intelligent Systems, 18:5, (76-83), Online publication date: 1-Sep-2003.

Pahl C and Casey M (2003). Ontology support for web service processes, ACM SIGSOFT Software Engineering Notes, 28:5, (208-216), Online publication date: 1-Sep-2003.

Pahl C and Casey M Ontology support for web service processes Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (208-216)

Schlenoff C, Balakirsky S, Uschold M, Provine R and Smith S (2003). Using ontologies to aid navigation planning in autonomous vehicles, The Knowledge Engineering Review, 18:3, (243-255), Online publication date: 1-Sep-2003.

Schlobach S and Cornet R Non-standard reasoning services for the debugging of description logic terminologies Proceedings of the 18th international joint conference on Artificial intelligence, (355-360)

Li L and Horrocks I A software framework for matchmaking based on semantic web technology Proceedings of the 12th international conference on World Wide Web, (331-339)

Grosof B, Horrocks I, Volz R and Decker S Description logic programs Proceedings of the 12th international conference on World Wide Web, (48-57)

Farrugia J Model-theoretic semantics for the web Proceedings of the 12th international conference on World Wide Web, (29-38)

Pahl C An ontology for software component matching Proceedings of the 6th international conference on Fundamental approaches to software engineering, (6-21)

Suchanek F, Lajus J, Boschin A and Weikum G Knowledge Representation and Rule Mining in Entity-Centric Knowledge Bases Reasoning Web. Explainable Artificial Intelligence, (110-152)

Glimm B and Kazakov Y Classical Algorithms for Reasoning and Explanation in Description Logics Reasoning Web. Explainable Artificial Intelligence, (1-64)

Bajraktari L, Ortiz M and Xiao G Optimizing Horn-$$\mathcal {SHIQ}$$ Reasoning for OBDA The Semantic Web – ISWC 2019, (75-92)

Steigmiller A and Glimm B Absorption-Based Query Answering for Expressive Description Logics The Semantic Web – ISWC 2019, (593-611)